Abstract
AbstractSharing analysis is used to statically discover data structures which may overlap in object-oriented programs. Using the abstract interpretation framework, we show that sharing analysis greatly benefits from linearity information. A variable is linear in a program state when different field paths starting from it always reach different objects. We propose a graph-based abstract domain which can represent aliasing, linearity, and sharing information and define all the necessary abstract operators for the analysis of a Java-like language.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference28 articles.
1. Precise Set Sharing Analysis for Java-Style Programs
2. Secci, S. and Spoto, F. (2005b). Pair-Sharing Analysis of Object-Oriented Programs (long version). Personal communication. Also available at http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.79.2459.
3. On the interaction between sharing and linearity
4. Observational Completeness on Abstract Interpretation
5. Sharing and groundness dependencies in logic programs
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Need for a Common API for Abstract Domains of Object-Oriented Programs;Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs;2022-06-07