✦ LIBER ✦

Assertion based Inductive Verification Methods for Logic Programs

✍ Scribed by Marco Comini; Roberta Gori; Giorgio Levi

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

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

An automated reasoning problem associate

An automated reasoning problem associated with proving claims about programs using Floyd-Hoare inductive assertion methods

✍ G. H. Chisholm; B. T. Smith; A. S. Wojcik 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 393 KB

Logic-based program system for predictin

Logic-based program system for predicting drug interactions

✍ Ferenc Darvas; Iván Futó; Peter Szeredi 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 787 KB

A Methodology for Granularity-Based Cont

A Methodology for Granularity-Based Control of Parallelism in Logic Programs

✍ P. LOPEZ; M. HERMENEGILDO; S. DEBRAY 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 674 KB

Several types of parallelism can be exploited in logic programs while preserving correctness and efficiency, i.e. ensuring that the parallel execution obtains the same results as the sequential one and the amount of work performed is not greater. However, such results do not take into account a numb