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

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

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)

Cites Work

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

Cited In (3)

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

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)