You are here

Publications

Export 3 results:
Filters: Keyword is Declarative Debugging  [Clear All Filters]
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.
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.