Structuring Abstract Interpreters Through State and Value Abstractions
Abstract elided by the publisher.
Related papers
- The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State ECOOP 2026
- An abstract interpretation for SPMD divergence on reducible control flow graphs POPL 2021
- Parametric Shape Analysis via 3-Valued Logic POPL 1999
- Relational Thread-Modular Static Value Analysis by Abstract Interpretation VMCAI 2014
- Generic Combination of Heap and Value Analyses in Abstract Interpretation VMCAI 2014
- Formal Verification of a C Value Analysis Based on Abstract Interpretation SAS 2013
- Intrinsically-typed definitional interpreters for imperative languages POPL 2018
- Demanded abstract interpretation PLDI 2021