Abstract interpretation based verification of logic programs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe. Abstract interpretation based verification of logic programs. Science of Computer Programming, 49(1-3):89-123, 2003. [doi]

The following publications are possibly variants of this publication:

Abstract Interpretation based Verification of Logic ProgramsMarco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe. TCS, 30(1):22-38, 1999. [doi]

Abstract Interpretation Based Verification of Logic ProgramsGiorgio Levi. ENTCS, 40:243, 2000. [doi]

Assertion based Inductive Verification Methods for Logic ProgramsMarco Comini, Roberta Gori, Giorgio Levi. ENTCS, 40:52-69, 2000. [doi]

runs on WebDSL