Towards a framework for the abstract interpretation of logic programs

This publication has 5 references indexed in Scilit:

• Automatic mode inference for logic programs
  The Journal of Logic Programming, 1988
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Abstract interpretation of Prolog programs
  Lecture Notes in Computer Science, 1986
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955