You are here

Publications

Export 94 results:
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.
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.
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.
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.
1999
M. Comini, Levi, G., Meo, M. C., and Vitiello, G., Abstract Diagnosis, Journal of Logic Programming, vol. 39, pp. 43–93, 1999.
M. Comini and Meo, M. C., Compositionality properties of ıt SLD-derivations, Theoretical Computer Science, vol. 211, pp. 275–309, 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.
2000
M. Falaschi, Policriti, A., and Villanueva, A., Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language, Proceedings of the 2000 Joint Conference on Declarative Programming. University of La Habana, La Habana, Cuba, 2000.
M. Falaschi, Policriti, A., and Villanueva, A., Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language - I, Electronic Notes in Theoretical Computer Science (ENTCS), vol. 48, pp. 1–15, 2000.
2001
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, 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, 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 Meo, M. C., A Theory of Observables for Logic Programs, Information and Computation, vol. 169, pp. 23–80, 2001.
M. Falaschi, Policriti, A., and Villanueva, A., Time Limited Model Checking, Proceedings of International Workshop on Specification Analysis and Validation for Emerging Technologies in Computational Logic (SAVE'01). 2001.
2002
M. Alpuente, Ballis, D., Correa, F., and Falaschi, M., A Multiparadigm Automatic Correction Scheme, Pre-Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002. 2002.
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.
2003
M. Alpuente, Ballis, D., Escobar, S., Falaschi, M., and Lucas, S., Abstract Correction of First-Order Functional Programs, 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, vol. 86. Elsevier, 2003.
M. Alpuente, Ballis, D., Escobar, S., Falaschi, M., and Lucas, S., Abstract Correction of OBJ-like Programs, Informl Proceeding of APPIA GULP PRODE 2003 (AGP 2003). pp. 422–433, 2003.
M. Alpuente, Comini, M., Escobar, S., Falaschi, M., and Lucas, S., Abstract Diagnosis of Functional Programs, Logic Based Program Synthesis and Tranformation – 12th International Workshop, LOPSTR 2002, Revised Selected Papers, vol. 2664. Springer-Verlag, Berlin, 2003.
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. Alpuente, Ballis, D., Correa, F., and Falaschi, M., Correction of Functional Logic Programs, Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, vol. 2618. Springer, pp. 54–68, 2003.
D. Ballis, Falaschi, M., Ferri, C., Hernández-Orallo, J., and Ramirez-Quintana, J. M., Cost-Sensitive Diagnosis of Declarative Programs, 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, vol. 86. Elsevier, p. 3, 2003.
M. Alpuente, Falaschi, M., and Villanueva, A., Symbolic Model Checking for Timed Concurrent Constraint Programs, Proceedings of the III Jornadas de Programación y Lenguajes. Alicante, 2003.
2004
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., Abstract Model Checking of tccp programs, Electronic Notes in Theoretical Computer Science (ENTCS), vol. 112, pp. 19–36, 2004.
M. Alpuente, Ballis, D., and Falaschi, M., An Automated Tool for Web Sites Verification, Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, vol. 3229. Springer, pp. 726–729, 2004.

Pages