On the interaction between sharing and linearity

DOI10.1017/S1471068409990160zbMath1183.68156MaRDI QIDQ3400961

Gianluca Amato, Francesca Scozzari

Publication date: 28 January 2010

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

unificationstatic analysislinearityabstract interpretationsharing

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

The role of linearity in sharing analysis ⋮ A polymorphic type dependency analysis for logic programs ⋮ Optimal multibinding unification for sharing and linearity analysis ⋮ Exploiting linearity in sharing analysis of object-oriented programs

Cites Work

• Unnamed Item
• The quotient of an abstract interpretation
• Programming languages and systems - ESOP '94. 5th European symposium on Programming, Edinburgh, GB, April 11--13, 1994. Proceedings
• Set-sharing is redundant for pair-sharing
• Pair-independence and freeness analysis through linear refinement.
• Optimality in goal-dependent analysis of Sharing
• Abstract interpretation and application to logic programs
• Static analysis of logic programs for independent and parallelism
• Compile-time derivation of variable dependency using abstract interpretation
• Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions
• Three optimisations for sharing
• Pair-sharing over rational trees
• A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
• Enhanced sharing analysis techniques: a comprehensive evaluation
• Sharing is optimal
• An algebraic approach to sharing analysis of logic programs
• Improving program analyses, by structure untupling
• Abstract Interpretation Frameworks

This page was built for publication: On the interaction between sharing and linearity