Multiple specialization using minimal-function graph semantics

This publication has 8 references indexed in Scilit:

• 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
• A semantic model of reference counting and its abstraction (detailed summary)
  Published by Association for Computing Machinery (ACM) ,1986
• 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
• Higher-order strictness analysis in untyped lambda calculus
  Published by Association for Computing Machinery (ACM) ,1986
• The occur-check problem in Prolog
  New Generation Computing, 1984
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977