The derivation of an algorithm for program specialisation

This publication has 6 references indexed in Scilit:

• Specialisation of Prolog and FCP programs using abstract interpretation
  New Generation Computing, 1988
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Data flow analysis of applicative programs using minimal function graphs
  Published by Association for Computing Machinery (ACM) ,1986
• Abstract interpretation of Prolog programs
  Lecture Notes in Computer Science, 1986
• OLD resolution with tabulation
  Published by Springer Nature ,1986
• Partial evaluation as a means for inferencing data structures in an applicative language
  Published by Association for Computing Machinery (ACM) ,1982