Supporting Transformations for the Partial Evaluation of Logic Programs

• 1 January 1993
• journal article
• Published by Oxford University Press (OUP) in Journal of Logic and Computation
• Vol. 3  (5) , 469-486
• https://doi.org/10.1093/logcom/3.5.469

Abstract

Keywords

• PARTIAL EVALUATION