@proceedings {CominiDP99gulp,
	title = {Diagnosis of CHIP Programs Using Type Information},
	journal = {Appia-Gulp-Prode{\textquoteright}99, Joint Conference on Declarative Programming},
	year = {1999},
	pages = {337{\textendash}349},
	abstract = {This paper presents a diagnosis method for CLP, based on descriptive types. The method is applied to CLP language CHIP. To express type information, a restricted class of CLP programs is used. This class makes an abstract domain, for which most of the usual requirements are not satisfied. A concrete semantics is used which takes into account that CHIP uses syntactic unification and it does not implement the "classical" semantics of CLP.
Given a program and an approximate intended specification, our diagnosis algorithm finds all the clauses which are incorrect w.r.t the specification. No information about error symptoms is used. The algorithm reuses an abstract immediate consequence function from a type analysis system. The user does not have to provide whole specifications, their fragments can be submitted in an "on demand" way.},
	author = {Marco Comini and Drabent, W. and Pietrzak, P.},
	editor = {Maria Chiara Meo and Villares-Ferro, M.}
}
@proceedings {CominiLV97,
	title = {Modular Abstract Diagnosis},
	journal = {Proceedings APPIA-GULP-PRODE{\textquoteright}98 Joint Conference on Declarative Programming},
	year = {1998},
	pages = {409{\textendash}420},
	abstract = {The paper extends the Abstract Diagnosis framework to Modular Abstract Diagnosis, where we are concerned with programs composed of separate modules. Our theory of abstract diagnosis can be applied to modular diagnosis even if our concrete semantics is not OR-compositional. Abstract diagnosis is a generalization of declarative diagnosis, where we consider operational properties, i.e. observables, which are properties which can be extracted from a goal computation.},
	keywords = {Debugging, Declarative Diagnosis, Logic Programming, Semantics, Verification},
	author = {Marco Comini and Giorgio Levi and Vitiello, G.},
	editor = {Freire-Nistal, J. L. and Moreno Falaschi and Villares-Ferro, M.}
}
