The role of linearity in sharing analysis

DOI10.1017/S0960129522000160MaRDI QIDQ5055490zbMATH OpenOpenAlexFDO

Authors Gianluca Amato, Maria Chiara Meo, Francesca Scozzari

Publication date 9 December 2022

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

aliasinglinearityobject-oriented programmingsharing analysis

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

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

Cites work

• Abstract interpretation and application to logic programs
• Bottom-up abstract interpretation of logic programs
• Compile-time derivation of variable dependency using abstract interpretation
• Enhanced sharing analysis techniques: a comprehensive evaluation
• Exploiting linearity in sharing analysis of object-oriented programs
• scientific article; zbMATH DE number 3610766 (Why is no real title available?)
• Observational completeness on abstract interpretation
• 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)

• Sharing analysis based on type inference
• scientific article; zbMATH DE number 1497827 (Why is no real title available?)
• Exploiting linearity in sharing analysis of object-oriented programs

Describes a project that uses

Uses Software

• Soot

This page was built for publication: The role of linearity in sharing analysis

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