✦ LIBER ✦

Abstract Interpretation Based Verification of Logic Programs

✍ Scribed by Giorgio Levi

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 27 KB
Volume: 40
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80052-0

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

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

Efficient bottom-up execution of logic p

Efficient bottom-up execution of logic programs using abstract interpretation

✍ Byeong-Mo Chang; Kwang-Moo Choe; Taisook Han 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 441 KB