Abstract interpretation of Prolog programs

This publication has 7 references indexed in Scilit:

• An application of abstract interpretation of logic programs: Occur check reduction
  Published by Springer Nature ,1986
• Some global optimizations for a PROLOG compiler
  The Journal of Logic Programming, 1985
• The occur-check problem in Prolog
  New Generation Computing, 1984
• The theory and practice of transforming call-by-need into call-by-value
  Published by Springer Nature ,1980
• 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 Search Technique for Clause Interconnectivity Graphs
  IEEE Transactions on Computers, 1976
• Calculating properties of programs by valuations on specific models
  ACM SIGPLAN Notices, 1972