Evaluation of the domain prop

This publication has 8 references indexed in Scilit:

• Experimental evaluation of a generic abstract interpretation algorithm for PROLOG
  ACM Transactions on Programming Languages and Systems, 1994
• Generic abstract interpretation algorithms for Prolog: Two optimization techniques and their experimental evaluation
  Software: Practice and Experience, 1993
• A general framework for semantics-based bottom-up abstract interpretation of logic programs
  ACM Transactions on Programming Languages and Systems, 1993
• Global flow analysis as a practical compilation tool
  The Journal of Logic Programming, 1992
• Compile-time derivation of variable dependency using abstract interpretation
  The Journal of Logic Programming, 1992
• A practical framework for theabstract interpretation of logic programs
  The Journal of Logic Programming, 1991
• Solving large combinatorial problems in logic programming
  The Journal of Logic Programming, 1990
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986