Abstract Domains for Sharing Analysis by Optimal Semantics
Abstract elided by the publisher.
Related papers
- Precise Set Sharing Analysis for Java-Style Programs VMCAI 2008
- Class analyses as abstract interpretations of trace semantics TOPLAS 2003
- Verifying Reliability Properties Using the Hyperball Abstract Domain TOPLAS 2018
- The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State ECOOP 2026
- Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG TOPLAS 1994
- Complementation in Abstract Interpretation TOPLAS 1997
- Distinctness and Sharing Domains for Static Analysis of Java Programs ECOOP 2001
- On inter-procedural analysis of programs with lists and data PLDI 2011