Compile-time derivation of variable dependency using abstract interpretation

This publication has 7 references indexed in Scilit:

• Bottom-up dataflow analysis of normal logic programs
  The Journal of Logic Programming, 1992
• 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
• Specialisation of Prolog and FCP programs using abstract interpretation
  New Generation Computing, 1988
• Abstract interpretation of Prolog programs
  Lecture Notes in Computer Science, 1986
• An application of abstract interpretation of logic programs: Occur check reduction
  Published by Springer Nature ,1986
• Enumeration of success patterns in logic programs
  Theoretical Computer Science, 1984