Abstract interpretation of logic programs using magic transformations

This publication has 13 references indexed in Scilit:

• Magic templates: a spellbinding approach to 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
• Automatic mode inference for logic programs
  The Journal of Logic Programming, 1988
• SYGRAF: implementing logic programs in a database style
  IEEE Transactions on Software Engineering, 1988
• Denotational and operational semantics for prolog
  The Journal of Logic Programming, 1988
• Strictness analysis and denotational abstract interpretation
  Information and Computation, 1988
• Convergence of sideways query evaluation
  Published by Association for Computing Machinery (ACM) ,1985
• Enumeration of success patterns in logic programs
  Theoretical Computer Science, 1984
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976