✦ LIBER ✦

Abstract interpretation based verification of logic programs

✍ Scribed by Marco Comini; Roberta Gori; Giorgio Levi; Paolo Volpe

Book ID: 108261807
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 400 KB
Volume: 49
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2003.08.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Abstract Interpretation based Verificati

Abstract Interpretation based Verification of Logic Programs

✍ Marco Comini; Roberta Gori; Giorgio Levi; Paolo Volpe 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 958 KB

Abstract Interpretation Based Verificati

Abstract Interpretation Based Verification of Logic Programs

✍ Giorgio Levi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 27 KB

Assertion based Inductive Verification M

Assertion based Inductive Verification Methods for Logic Programs

✍ Marco Comini; Roberta Gori; Giorgio Levi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 949 KB

Logic programs as specifications in the

Logic programs as specifications in the inductive verification of logic programs

✍ Marco Comini; Roberta Gori; Giorgio Levi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 149 KB

Precise goal-independent abstract interp

Precise goal-independent abstract interpretation of constraint logic programs

✍ Peter Schachte 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 197 KB

We present a goal-independent abstract interpretation framework for constraint logic programs, and prove the su ciency of a set of conditions for abstract domains to ensure that the analysis will never lose precision. Along the way, we formally deÿne constraint logic programming systems, give a form

Precise Goal-Independent Abstract Interp

Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs

✍ Peter Schachte 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 183 KB