Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions
Abstract elided by the publisher.
Related papers
- Inductive Definitions, Semantics and Abstract Interpretation POPL 1992
- Stable relations and abstract interpretation of higher-order programs ICFP 2020
- Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials OOPSLA 2024
- Property-directed reachability as abstract interpretation in the monotone theory POPL 2022
- Monotonicity and the Precision of Program Analysis POPL 2024
- Interpreting Knowledge-based Programs ESOP 2023
- The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State ECOOP 2026
- Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional Interpreters SAS 2025