Exploiting linearity in sharing analysis of object-oriented programs

DOI10.1016/J.ENTCS.2016.03.002zbMATH Open1345.68091OpenAlexW2337524937WikidataQ113317703 ScholiaQ113317703MaRDI QIDQ737080FDOQ737080

Authors Gianluca Amato, Maria Chiara Meo, Francesca Scozzari

Publication date 5 August 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2016.03.002

zbMATH Keywords

object-oriented programmingaliasinglinearitysharing analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• The role of linearity in sharing analysis
• Precise Set Sharing Analysis for Java-Style Programs
• Static Analysis
• On the interaction between sharing and linearity
• Enhanced sharing analysis techniques: a comprehensive evaluation

Cites work

• Bottom-up abstract interpretation of logic programs
• Compile-time derivation of variable dependency using abstract interpretation
• Enhanced sharing analysis techniques: a comprehensive evaluation
• On the interaction between sharing and linearity
• Optimal multibinding unification for sharing and linearity analysis
• Optimality in goal-dependent analysis of Sharing
• Precise Set Sharing Analysis for Java-Style Programs
• Set-sharing is redundant for pair-sharing
• Static Analysis
• Static analysis of logic programs for independent and parallelism

Cited in

(3)

• Static Analysis
• The role of linearity in sharing analysis
• Precise Set Sharing Analysis for Java-Style Programs

This page was built for publication: Exploiting linearity in sharing analysis of object-oriented programs

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