Optimality in goal-dependent analysis of Sharing

DOI10.1017/S1471068409990111MaRDI QIDQ3181746zbMATH OpenFDO

Authors Gianluca Amato, Francesca Scozzari

Publication date 12 October 2009

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

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

zbMATH Keywords

abstract interpretationexistentially quantified substitutionslogic programmingmatchingsharingunification

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A general framework for variable aliasing: towards optimal operators for sharing properties
• scientific article; zbMATH DE number 1617334
• On the interaction between sharing and linearity
• scientific article; zbMATH DE number 1692904
• Optimal multibinding unification for sharing and linearity analysis

Cites work

• A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
• A practical framework for theabstract interpretation of logic programs
• 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
• Differential methods in logic program analysis
• Enhanced sharing analysis techniques: a comprehensive evaluation
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• Making abstract interpretations complete
• Optimal groundness analysis using propositional logic
• Pair-independence and freeness analysis through linear refinement.
• Pair-sharing over rational trees
• 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 role of standardising apart in logic programming
• The Semantics of Predicate Logic as a Programming Language
• Three optimisations for sharing

Cited in

(12)

• An abstract interpretation framework for optimizing dynamic modular logic languages
• The design and performance of sharing rules for a partnership in continuous time
• Experimental evaluation of numerical domains for inferring ranges
• scientific article; zbMATH DE number 1617334 (Why is no real title available?)
• scientific article; zbMATH DE number 1692904 (Why is no real title available?)
• A general framework for variable aliasing: towards optimal operators for sharing properties
• On the design of a correct freeness analysis for logic programs
• On the interaction between sharing and linearity
• Three optimisations for sharing
• The role of linearity in sharing analysis
• Optimal multibinding unification for sharing and linearity analysis
• Exploiting linearity in sharing analysis of object-oriented programs

This page was built for publication: Optimality in goal-dependent analysis of Sharing

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