Partial Evaluation of the "Real Thing"

Towards creating specialised integrity checks through partial evaluation of meta-interpreters

PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Controlling generalization and polyvariance in partial deduction of normal logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Logic program specialisation through partial deduction: Control issues

Theory and Practice of Logic Programming

A fixed point semantics for logic programs extended with cuts

LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation

Efficient local unfolding with ancestor stacks*

Theory and Practice of Logic Programming

Non-leftmost unfolding in partial evaluation of logic programs with impure predicates

LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation

Efficient local unfolding with ancestor stacks for full prolog

LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation