Proving Properties of Logic Programs by Abstract Diagnosis - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello. Proving Properties of Logic Programs by Abstract Diagnosis. In Mads Dam, editor, Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers. Volume 1192 of Lecture Notes in Computer Science, pages 22-50, Springer, 1996.

The following publications are possibly variants of this publication:

On the Abstract Diagnosis of Logic ProgramsGiorgio Levi, Marco Comini, Giuliana Vitiello. agp 1995: 41-60

Toward an Inductionless Technique for Proving Properties of Logic ProgramsRoberto Barbuti, Pierpaolo Degano, Giorgio Levi. ICLP 1982: 175-181

runs on WebDSL