Abstract Specialization and Its Application to Program Parallelization

Optimizing compilation of CLP( R )

ACM Transactions on Programming Languages and Systems (TOPLAS)

Advanced Logic Program Specialisation

Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School

A framework for the integration of partial evaluation and abstract interpretation of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)

Logic program specialisation through partial deduction: Control issues

Theory and Practice of Logic Programming

Program development using abstract interpretation (and the ciao system preprocessor)

SAS'03 Proceedings of the 10th international conference on Static analysis