Abstract Interpreters for Free
No abstract available.
Related papers
- Garbage-Free Abstract Interpretation Through Abstract Reference Counting ECOOP 2019
- Abstract Interpreters: A Monadic Approach to Modular Verification ICFP 2024
- Lifting abstract interpreters to quantified logical domains POPL 2008
- Abstract Interpretation of Temporal Safety Effects of Higher Order Programs OOPSLA 2025
- Compositional soundness proofs of abstract interpreters ICFP 2018
- Proofs for free - Parametricity for dependent types JFP 2012
- Compiling with Abstract Interpretation PLDI 2024
- A Computational Interpretation of Context-Free Expressions APLAS 2017