✦ LIBER ✦

Abstract Interpretation based Verification of Logic Programs

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

Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 958 KB
Volume: 30
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00112-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

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