Practical program analysis using general purpose logic programming systems—a case study

This publication has 21 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• EQUALS – a fast parallel implementation of a lazy language
  Journal of Functional Programming, 1997
• Fast strictness analysis based on demand propagation
  ACM Transactions on Programming Languages and Systems, 1995
• Evaluation of the domain prop
  The Journal of Logic Programming, 1995
• Experimental evaluation of a generic abstract interpretation algorithm for PROLOG
  ACM Transactions on Programming Languages and Systems, 1994
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Compile-time derivation of variable dependency using abstract interpretation
  The Journal of Logic Programming, 1992
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992
• A practical framework for theabstract interpretation of logic programs
  The Journal of Logic Programming, 1991
• Static inference of modes and data dependencies in logic programs
  ACM Transactions on Programming Languages and Systems, 1989