A Systematic Approach to Abstract Interpretation of Program Transformations
Abstract elided by the publisher.
Related papers
- Systematic design of program transformation frameworks by abstract interpretation POPL 2002
- Galois transformers and modular abstract interpreters: reusable metatheory for program analysis OOPSLA 2015
- Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl) ICFP 2018
- Call-Guarded Abstract Definitional Interpreters ICFP 2025
- TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis TOPLAS 2013
- Control-flow analysis of function calls and returns by abstract interpretation ICFP 2009
- Systematic abstraction of abstract machines JFP 2012
- Complementation in Abstract Interpretation TOPLAS 1997