Deriving polymorphic type dependencies for logic programs using multiple incarnations of Prop

This publication has 10 references indexed in Scilit:

• Bottom-up abstract interpretation of logic programs
  Theoretical Computer Science, 1994
• Directional type checking of logic programs
  Published by Springer Nature ,1994
• Proving implications by algebraic approximation
  Published by Springer Nature ,1994
• Compositional analysis of modular logic programs
  Published by Association for Computing Machinery (ACM) ,1993
• Groundness analysis for Prolog
  Published by Association for Computing Machinery (ACM) ,1993
• A general framework for semantics-based bottom-up abstract interpretation of logic programs
  ACM Transactions on Programming Languages and Systems, 1993
• A bottom-up polymorphic type inference in logic programming
  Science of Computer Programming, 1992
• Global flow analysis as a practical compilation tool
  The Journal of Logic Programming, 1992
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• 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