Transforming Abstract Interpretations by Abstract Interpretation
No abstract available.
Related papers
- A Systematic Approach to Abstract Interpretation of Program Transformations VMCAI 2020
- Systematic design of program transformation frameworks by abstract interpretation POPL 2002
- Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation POPL 2024
- Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl) ICFP 2018
- SAIL: Sound Abstract Interpreters with LLMs PLDI 2026
- Combining Forward and Backward Abstract Interpretation of Horn Clauses SAS 2017
- Abstract Interpretation with Unfoldings CAV 2017
- TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis TOPLAS 2013