Advanced techniques for approximating variable aliasing in logic programs

Precise and efficient groundness analysis for logic programs

ACM Letters on Programming Languages and Systems (LOPLAS)

Non pair-sharing and freeness analysis through linear refinement

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

Sharing and groundness dependencies in logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Enhanced sharing analysis techniques: a comprehensive evaluation

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

Freeness Analysis Through Linear Refinement

SAS '99 Proceedings of the 6th International Symposium on Static Analysis

Precise goal-independent abstract interpretation of constraint logic programs

Theoretical Computer Science

Pair-independence and freeness analysis through linear refinement

Information and Computation

A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages

Theory and Practice of Logic Programming

Three optimisations for sharing

Theory and Practice of Logic Programming

Soundness, idempotence and commutativity of set-sharing

Theory and Practice of Logic Programming

Enhanced sharing analysis techniques: a comprehensive evaluation

Theory and Practice of Logic Programming

A backward analysis for constraint logic programs

Theory and Practice of Logic Programming

Negative Ternary Set-Sharing

ICLP '08 Proceedings of the 24th International Conference on Logic Programming

Lazy set-sharing analysis

FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming