Abstract Interpretation with Alien Expressions and Heap Structures
Abstract elided by the publisher.
Related papers
- Calling context abstraction with shapes POPL 2011
- Generic Combination of Heap and Value Analyses in Abstract Interpretation VMCAI 2014
- FO-Complete Program Verification for Heap Logics OOPSLA 2025
- Automatic numeric abstractions for heap-manipulating programs POPL 2010
- Gradual verification of recursive heap data structures OOPSLA 2020
- Go with the flow: compositional abstractions for concurrent data structures POPL 2018
- The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State ECOOP 2026
- Structuring the verification of heap-manipulating programs POPL 2010