The quotient of an abstract interpretation

This publication has 17 references indexed in Scilit:

• Combinations of abstract domains for logic programming: open product and generic pattern construction
  Science of Computer Programming, 2000
• Optimal groundness analysis using propositional logic
  The Journal of Logic Programming, 1996
• Evaluation of the domain prop
  The Journal of Logic Programming, 1995
• Precise and efficient groundness analysis for logic programs
  ACM Letters on Programming Languages and Systems, 1993
• Frameworks for abstract interpretation
  Acta Informatica, 1993
• A general framework for semantics-based bottom-up abstract interpretation of logic programs
  ACM Transactions on Programming Languages and Systems, 1993
• Static analysis of logic programs for independent and parallelism
  The Journal of Logic Programming, 1992
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992
• On derived dependencies and connected databases
  The Journal of Logic Programming, 1991
• Checking of operand types in algol compilers
  BIT Numerical Mathematics, 1965