Widening Sharing

Enhanced sharing analysis techniques: a comprehensive evaluation

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

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

Negative Ternary Set-Sharing

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

Non-strict independence-based program parallelization using sharing and freeness information

Theoretical Computer Science

Efficient structural information analysis for real CLP languages

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

Efficient top-down set-sharing analysis using cliques

PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages