Abstract interpretation: A kind of magic

This publication has 9 references indexed in Scilit:

• Abstract interpretation of logic programs using magic transformations
  The Journal of Logic Programming, 1994
• Bottom-up abstract interpretation of logic programs
  Theoretical Computer Science, 1994
• Abstract interpretation based on Alexander Templates
  The Journal of Logic Programming, 1993
• A practical framework for theabstract interpretation of logic programs
  The Journal of Logic Programming, 1991
• Query evaluation in recursive databases: bottom-up and top-down reconciled
  Data & Knowledge Engineering, 1990
• The Alexander Method — A technique for the processing of recursive axioms in deductive databases
  New Generation Computing, 1986
• A kripke-kleene semantics for logic programs*
  The Journal of Logic Programming, 1985
• Some global optimizations for a PROLOG compiler
  The Journal of Logic Programming, 1985
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976