On the Abstract Diagnosis of Logic Programs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Giorgio Levi, Marco Comini, Giuliana Vitiello. On the Abstract Diagnosis of Logic Programs. In María Alpuente, Maria I. Sessa, editors, 1995 Joint Conference on Declarative Programming, GULP-PRODE 95, Marina di Vietri, Italy, September 11-14, 1995. pages 41-60, 1995.

The following publications are possibly variants of this publication:

Proving Properties of Logic Programs by Abstract DiagnosisMarco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello. lomaps 1997: 22-50

Abstract Diagnosis of First Order Functional Logic ProgramsGiovanni Bacci, Marco Comini. LOPSTR 2011: 215-233 [doi]

runs on WebDSL