Specialisation of Prolog and FCP programs using abstract interpretation

The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)

Toward the partial evaluation of CLP languages

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

Efficient dataflow analysis of logic programs

Journal of the ACM (JACM)

A general framework for semantics-based bottom-up abstract interpretation of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

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

Implementation of multiple specialization in logic programs

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

Regular Tree Languages as an Abstract Domain in Program Specialisation

Higher-Order and Symbolic Computation

Abstract specialization and its applications

Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation

Transformation by interpreter specialisation

Science of Computer Programming - Special issue on program transformation

Convex hull abstractions in specialization of CLP programs

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

Abstract interpretation with specialized definitions

SAS'06 Proceedings of the 13th international conference on Static Analysis