You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 2 results:

BibTex

Filters: Keyword is Declarative Debugging and Author is Marco Comini [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

C

M. Comini, “An Abstract Interpretation Framework for Semantics and Diagnosis of Logic Programs”, Dipartimento di Informatica, Universitá di Pisa, Pisa, Italy, 1998.

M. Comini, Levi, G., Meo, M. C., and Vitiello, G., “Proving properties of Logic Programs by Abstract Diagnosis”, Proceedings of Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop (LOMAPS'96), vol. 1192. Springer-Verlag, Berlin, pp. 22–50, 1996.