On the interaction between sharing and linearity

DOI10.1017/S1471068409990160MaRDI QIDQ3400961zbMATH OpenFDO

Authors Gianluca Amato, Francesca Scozzari

Publication date 28 January 2010

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

Full work available at URL https://doi.org/10.1017/S1471068409990160

zbMATH Keywords

abstract interpretationstatic analysislinearityunificationsharing

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A general framework for variable aliasing: towards optimal operators for sharing properties
• Optimal multibinding unification for sharing and linearity analysis
• scientific article; zbMATH DE number 1617334
• An algebraic approach to sharing analysis of logic programs
• Three optimisations for sharing

Cites work

• scientific article; zbMATH DE number 788036 (Why is no real title available?)
• A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
• Abstract Interpretation Frameworks
• Abstract interpretation and application to logic programs
• An algebraic approach to sharing analysis of logic programs
• Compile-time derivation of variable dependency using abstract interpretation
• Enhanced sharing analysis techniques: a comprehensive evaluation
• Improving program analyses, by structure untupling
• Optimality in goal-dependent analysis of Sharing
• Pair-independence and freeness analysis through linear refinement.
• Pair-sharing over rational trees
• 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
• Sharing is optimal
• Static analysis of logic programs for independent and parallelism
• Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions
• The quotient of an abstract interpretation
• Three optimisations for sharing

Cited in

(12)

• 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
• An algebraic approach to sharing analysis of logic programs
• scientific article; zbMATH DE number 1617334 (Why is no real title available?)
• Negative Ternary Set-Sharing
• A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
• Pair-independence and freeness analysis through linear refinement.
• The role of linearity in sharing analysis
• A general framework for variable aliasing: towards optimal operators for sharing properties
• Collapsing Closures
• Optimality in goal-dependent analysis of Sharing

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3400961)