|
|||||
|
|
Abductive Analysis of Modular Logic Programs |
|
| Authors: | GIACOBAZZI ROBERTO |
| Affiliation: | Dipartimento di Informatica, Università di Pisa Corso Italia 40, 56125 Pisa, Italy E-mail: giaco{at}di.unipi.it |
| Abstract: | |
| Keywords: | Static analysis abstract interpretation logic programming modular logic programs abduction program specification |
| 本文献已被 Oxford 等数据库收录！ | |