Abstract domains for sharing analysis by optimal semantics

DOI10.1007/978-3-540-45099-3_21MaRDI QIDQ2722073zbMATH OpenFDO

Authors Francesca Scozzari

Publication date 11 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-45099-3_21

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Optimality in goal-dependent analysis of Sharing
• On the interaction between sharing and linearity
• Enhanced sharing analysis techniques: a comprehensive evaluation
• A general framework for variable aliasing: towards optimal operators for sharing properties
• Abstract compilation for sharing analysis

Cited in

(18)

• The quotient of an abstract interpretation
• Logical optimality of groundness analysis
• Pair-independence and freeness analysis through linear refinement.
• Abstract compilation for sharing analysis
• A general framework for variable aliasing: towards optimal operators for sharing properties
• Optimality in goal-dependent analysis of Sharing
• On the interaction between sharing and linearity
• Decomposing non-redundant sharing by complementation
• Widening sharing
• Decomposing non-redundant sharing by complementation
• Enhanced sharing analysis techniques: a comprehensive evaluation
• An abstract view on syntax with sharing
• scientific article; zbMATH DE number 7205326 (Why is no real title available?)
• Optimal multibinding unification for sharing and linearity analysis
• Collapsing Closures
• Sharing ghost variables in a collection of abstract domains
• Finite-tree analysis for constraint logic-based languages
• Structure sharing for quantified terms: Fundamentals

This page was built for publication: Abstract domains for sharing analysis by optimal semantics

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