Bottom-up dataflow analysis of normal logic programs

This publication has 17 references indexed in Scilit:

• Bilattices and the semantics of logic programming
  The Journal of Logic Programming, 1991
• A practical framework for theabstract interpretation of logic programs
  The Journal of Logic Programming, 1991
• Most specific logic programs
  Annals of Mathematics and Artificial Intelligence, 1990
• Declarative modeling of the operational behavior of logic languages
  Theoretical Computer Science, 1989
• Specialisation of Prolog and FCP programs using abstract interpretation
  New Generation Computing, 1988
• Negation in logic programming
  The Journal of Logic Programming, 1987
• OLD resolution with tabulation
  Published by Springer Nature ,1986
• A kripke-kleene semantics for logic programs*
  The Journal of Logic Programming, 1985
• Enumeration of success patterns in logic programs
  Theoretical Computer Science, 1984
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976