Analysis of shared data structures for compile-time garbage collection in logic programs

Efficient dataflow analysis of logic programs

Journal of the ACM (JACM)

Experimental evaluation of a generic abstract interpretation algorithm for PROLOG

ACM Transactions on Programming Languages and Systems (TOPLAS)

Live-structure dataflow analysis for Prolog

ACM Transactions on Programming Languages and Systems (TOPLAS)

Type analysis of Prolog using type graphs

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation

Implementation of multiple specialization in logic programs

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

Abstract interpretation and low-level code optimization

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

Semantic models and abstract interpretation techniques for inductive data structures and pointers

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

Global analysis of constraint logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Compile-time memory reuse in logic programming languages through update in place

ACM Transactions on Programming Languages and Systems (TOPLAS)

Evaluation of Parallel Copying Garbage Collection on a Shared-Memory Multiprocessor

IEEE Transactions on Parallel and Distributed Systems

Sequence-based abstract interpretation of Prolog

Theory and Practice of Logic Programming