The Mixtus approach to automatic partial evaluation of full Prolog

Determinacy analysis for full Prolog

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

Toward the partial evaluation of CLP languages

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

Memoing for logic programs

Communications of the ACM

Tutorial on specialisation of logic programs

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

Mix ten years later

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

An introduction to partial evaluation

ACM Computing Surveys (CSUR)

Loop checks for logic programs with functions

Theoretical Computer Science

Nontermination inference of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

An algebraic specification of a transformation tool for prolog programs

Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications

Annotation of logic programs for independent and-parallelism by partial evaluation*

Theory and Practice of Logic Programming