You are here

Publications

Export 40 results:
Filters: Author is Marco Comini  [Clear All Filters]
1999
M. Comini, Drabent, W., and Pietrzak, P., Diagnosis of CHIP Programs Using Type Information, Appia-Gulp-Prode'99, Joint Conference on Declarative Programming. pp. 337–349, 1999.
1998
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., and Vitiello, G., Modular Abstract Diagnosis, Proceedings APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming. pp. 409–420, 1998.
1996
R. Bagnara, Comini, M., Scozzari, F., and Zaffanella, E., The AND-compositionality of CLP Computed Answer Constraints, Proceedings APPIA-GULP-PRODE'96 Joint Conference on Declarative Programming. pp. 355–366, 1996.
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.
1995
M. Comini, Levi, G., and Meo, M. C., Compositionality of SLD-derivations and their abstractions, Proceedings of the 1995 Int'l Symposium on Logic Programming. The MIT Press, pp. 561–575, 1995.
M. Comini, Levi, G., and Vitiello, G., Declarative Diagnosis Revisited, Proceedings of the 1995 Int'l Symposium on Logic Programming. The MIT Press, pp. 275–287, 1995.
M. Comini, Levi, G., and Vitiello, G., Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs, Proc. 2nd International Workshop on Automated and Algorithmic Debugging, AADEBUG'95. 1995.
1994
M. Comini, Levi, G., and Vitiello, G., Abstract Debugging of Logic Programs, Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994, vol. 883. Springer-Verlag, pp. 440–450, 1994.
M. Comini and Levi, G., An Algebraic Theory of Observables, Proceedings of the 1994 Int'l Symposium on Logic Programming. The MIT Press, pp. 172–186, 1994.

Pages