A Practical Framework for the Abstract Interpretation of Logic Programs

  title={A Practical Framework for the Abstract Interpretation of Logic Programs},
  author={Maurice Bruynooghe},
  journal={J. Log. Program.},
INTERPRETATION OF LOGIC PROGRAMS 93 AND-OR tree (Section 3.1). In Section 3.2, we introduce the building blocks: procedure entry, procedure exit, and abstract interpretation of built-ins; also we formulate and prove conditions for their correctness. Because recursive procedures cause the abstract AND-OR tree to be infinite, we introduce in Section 3.3 the abstract AND-OR graph, which can be kept finite. Conditions for termination of the construction procedure are developed in Section 3.4. The… CONTINUE READING
Highly Influential
This paper has highly influenced 42 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 215 extracted citations

Inferring non-suspension conditions for logic programs with dynamic scheduling

ACM Trans. Comput. Log. • 2008
View 6 Excerpts
Highly Influenced

Functional and Logic Programming

Lecture Notes in Computer Science • 2004
View 9 Excerpts
Highly Influenced

Path dependent analysis of logic programs

PEPM • 2002
View 7 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…