Program specialisation and abstract interpretation reconciled

Using regular approximations for generalisation during partial evalution

PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation

Solving coverability problems of petri nets by partial deduction

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming

Regular Tree Languages as an Abstract Domain in Program Specialisation

Higher-Order and Symbolic Computation

Advanced Logic Program Specialisation

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

Program Derivation = Rules + Strategies

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I

Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification

PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation

Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction

CL '00 Proceedings of the First International Conference on Computational Logic

Abstract specialization and its applications

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

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

Convex hull abstractions in specialization of CLP programs

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

Forward slicing of multi-paradigm declarative programs based on partial evaluation

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

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

Solving planning problems by partial deduction

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning

Abstract interpretation with specialized definitions

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