You are here
Publications
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, 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.