Building Complete Abstract Interpretations in a Linear Logic-based Setting
Abstract elided by the publisher.
Related papers
- A Logical Model for Relational Abstract Domains TOPLAS 1998
- Lifting abstract interpreters to quantified logical domains POPL 2008
- Linear lambda calculus and PTIME-completeness JFP 2004
- Logics for Extensional, Locally Complete Analysis via Domain Refinements ESOP 2023
- The Vanilla Sequent Calculus is Call-by-Value ESOP 2025
- A Complete Program Logic for Compositional Linearizability ECOOP 2026
- Reference Counting as a Computational Interpretation of Linear Logic JFP 1996
- Temporal Abstract Interpretation POPL 2000