A specialisation calculus to improve expert systems communications

Partial evaluation in logic programming

John W. Lloyd, J. C. Shepherdson · The Journal of Logic Programming · 1991 · 388 citations

Computing, Computer Science, Formal Methods +8

A specification of an abstract Prolog machine and its application to partial evaluation

Jan Komorowski · 1981 · 170 citations

Computing, Computer Science, Formal Methods +11

Partial Evaluation of Prolog Programs and its Application to Meta Programming.

Akikazu Takeuchi, Koichi Furukawa · IFIP Congress · 1986 · 107 citations

Computing, Computer Science, Compilers +9

A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation.

Raf Venken · European Conference on Artificial Intelligence · 1984 · 67 citations

Computing, Computer Science, Computer Systems +14