You are here

Publications

Export 21 results:
Filters: 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, 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, Levi, G., Meo, M. C., and Vitiello, G., Abstract Diagnosis, Journal of Logic Programming, vol. 39, pp. 43–93, 1999.
M. Comini, An Abstract Interpretation Framework for Semantics and Diagnosis of Logic Programs, Dipartimento di Informatica, Universitá di Pisa, Pisa, Italy, 1998.
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 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.
M. Comini, Gori, R., and Levi, G., Assertion based Inductive Verification Methods for Logic Programs, Proceedings of MFCSIT'2000, vol. 40. Elsevier Science Publishers, pp. 1–18, 2001.
M. Comini and Meo, M. C., Compositionality properties of ıt SLD-derivations, Theoretical Computer Science, vol. 211, pp. 275–309, 1999.
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, 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.
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.
M. Comini, Gori, R., and Levi, G., Logic programs as specifications in the inductive verification of logic programs, Declarative Programming – Selected Papers from AGP 2000, vol. 48. Elsevier Science Publishers, pp. 1–16, 2001.
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, Damiani, F., and Vrech, S., On Polymorphic Recursion, Type Systems, and Abstract Interpretation, Static Analysis – 15th International Symposium, SAS 2008, vol. 5079. Springer-Verlag, Berlin, pp. 144–158, 2008.
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, Levi, G., and Meo, M. C., A Theory of Observables for Logic Programs, Information and Computation, vol. 169, pp. 23–80, 2001.
M. Comini, Gori, R., and Levi, G., How to Transform an Analyzer into a Verifier, Logic for Programming and Automated Reasoning. Proceedings of the 8th International Conference (LPAR'01), vol. 2250. Springer-Verlag, Berlin, pp. 595–609, 2001.
M. Comini, Titolo, L., and Villanueva, A., Abstract Diagnosis for Timed Concurrent Constraint programs, Theory and Practice of Logic Programming, vol. 11, p. 487--502, 2011.
M. Comini, Titolo, L., and Villanueva, A., A Compact Goal-Independent Bottom-Up Fixpoint Modeling the Behavior of tccp. Dipartimento di Matematica e Informatica, U. di Udine, 2011.
M. Comini and Torella, L., TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems, ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM'13). 2013.
M. Comini and Torella, L., A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting. 2013.