Systematic semantic approximations of logic programs

This publication has 8 references indexed in Scilit:

• A practical framework for theabstract interpretation of logic programs
  The Journal of Logic Programming, 1991
• Towards a framework for the abstract interpretation of logic programs
  Published by Springer Nature ,1989
• Automatic mode inference for logic programs
  The Journal of Logic Programming, 1988
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• Automatic synthesis of optimal invariant assertions
  ACM SIGPLAN Notices, 1977
• 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