You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 7 results:

BibTex

Filters: Keyword is Logic Programming [Clear All Filters]

Conference Proceedings

M. Comini, Levi, G., and Vitiello, G., “Modular Abstract Diagnosis”, Proceedings APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming. pp. 409–420, 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.

M. Comini, “VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications”, Proceedings of 11th International Workshop on Functional and (constraint) Logic Programming. Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy, pp. 233–236, 2002.

Journal Article

M. Comini, Levi, G., Meo, M. C., and Vitiello, G., “Abstract Diagnosis”, Journal of Logic Programming, vol. 39, pp. 43–93, 1999.

M. Comini, Gori, R., Levi, G., and Volpe, P., “Abstract Interpretation based Verification of Logic Programs”, Science of Computer Programming, vol. 49, pp. 89–123, 2003.

M. Comini, Levi, G., and Meo, M. C., “A Theory of Observables for Logic Programs”, Information and Computation, vol. 169, pp. 23–80, 2001.

Thesis

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