Extending partial deduction to tabled execution: some results and open issues

OLD resolution with tabulation

Proceedings on Third international conference on logic programming

Partial evaluation in logic programming

Journal of Logic Programming

Memoing for logic programs

Communications of the ACM

Partial evaluation and automatic program generation

Partial evaluation and automatic program generation

Tutorial on specialisation of logic programs

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

Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation

Journal of Symbolic Computation - Special issue on automatic programming

XSB as an efficient deductive database engine

SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data

Tabled evaluation with delaying for general logic programs

Journal of the ACM (JACM)

An introduction to partial evaluation

ACM Computing Surveys (CSUR)

Selected Papers from the Internaltional Seminar on Partial Evaluation

Selected Papers from the Internaltional Seminar on Partial Evaluation

A Polyvariant Binding-Time Analysis for Off-line Partial Deduction

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems

An Introduction to Partial Deduction

META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic

Logic Program Specialisation: How To Be More Specific

PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs

Combining Abstract Interpretation and Partial Evaluation (Brief Overview)

SAS '97 Proceedings of the 4th International Symposium on Static Analysis