Analyzing logic programs using “prop”-ositional logic programs and a magic wand

This publication has 12 references indexed in Scilit:

• Rule ordering in bottom-up fixpoint evaluation of logic programs
  IEEE Transactions on Knowledge and Data Engineering, 1994
• Suspension analyses for concurrent logic programs
  ACM Transactions on Programming Languages and Systems, 1994
• Bottom-up abstract interpretation of logic programs
  Theoretical Computer Science, 1994
• Precise and efficient groundness analysis for logic programs
  ACM Letters on Programming Languages and Systems, 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
• Static analysis of logic programs for independent and parallelism
  The Journal of Logic Programming, 1992
• On derived dependencies and connected databases
  The Journal of Logic Programming, 1991
• Declarative modeling of the operational behavior of logic languages
  Theoretical Computer Science, 1989
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
  The Journal of Logic Programming, 1984