Ecological partial deduction: Preserving characteristic trees without constraints

This publication has 13 references indexed in Scilit:

• Transformation of logic programs: Foundations and techniques
  The Journal of Logic Programming, 1994
• Sound and complete partial deduction with unfolding based on well-founded measures
  Theoretical Computer Science, 1994
• Partial evaluation of the “real thing”
  Published by Springer Nature ,1994
• Tutorial on specialisation of logic programs
  Published by Association for Computing Machinery (ACM) ,1993
• Supporting Transformations for the Partial Evaluation of Logic Programs
  Journal of Logic and Computation, 1993
• A general criterion for avoiding infinite unfolding during partial deduction
  New Generation Computing, 1992
• An introduction to partial deduction
  Published by Springer Nature ,1992
• Partial evaluation in logic programming
  The Journal of Logic Programming, 1991
• The derivation of an algorithm for program specialisation
  New Generation Computing, 1991
• Foundations of Logic Programming
  Published by Springer Nature ,1987