Natural-Semantics-Based Abstract Interpretation (Preliminary Version)
Abstract elided by the publisher.
Related papers
- Improving Thread-Modular Abstract Interpretation SAS 2021
- The Birth of Prolog HOPL 1993
- Relational Abstractions Based on Labeled Union-Find PLDI 2025
- Abstract semantic differencing via speculative correlation OOPSLA 2014
- Observable Sequentiality and Full Abstraction POPL 1992
- Certified Abstract Interpretation with Pretty-Big-Step Semantics CPP 2015
- Static Type Analysis by Abstract Interpretation of Python Programs ECOOP 2020
- Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation POPL 2024