A Theory of Non-monotone Memory (Or: Contexts for free)
Abstract elided by the publisher.
Related papers
- Property-directed reachability as abstract interpretation in the monotone theory POPL 2022
- Study of the subtyping machine of nominal subtyping with variance OOPSLA 2021
- How to Take the Inverse of a Type ECOOP 2022
- Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials OOPSLA 2024
- Invariant Inference with Provable Complexity from the Monotone Theory SAS 2022
- Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus PLDI 2025
- Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions VMCAI 2008
- Non-monotonic Self-Adjusting Computation ESOP 2012