Exploiting linearity in sharing analysis of object-oriented programs

DOI10.1016/j.entcs.2016.03.002zbMath1345.68091OpenAlexW2337524937WikidataQ113317703 ScholiaQ113317703MaRDI QIDQ737080

Gianluca Amato, Francesca Scozzari, Maria Chiara Meo

Publication date: 5 August 2016

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

zbMATH Keywords

object-oriented programminglinearityaliasingsharing analysis

Mathematics Subject Classification ID

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

Related Items (1)

The role of linearity in sharing analysis

Cites Work

• 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
• Static Analysis

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