A Synergistic Analysis for Sharing and Groundness with Traces Linearity

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

Enhanced sharing analysis techniques: a comprehensive evaluation

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

Set-sharing is redundant for pair-sharing

Theoretical Computer Science

The Correctness of Set-Sharing

SAS '98 Proceedings of the 5th International Symposium on Static Analysis

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

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

Optimality in goal-dependent analysis of sharing

Theory and Practice of Logic Programming

A general framework for variable aliasing: towards optimal operators for sharing properties

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