Syntactic Program Transformations for Automatic Abstraction
Abstract elided by the publisher.
Related papers
- A Simple Abstraction of Arrays and Maps by Program Translation SAS 2015
- Lightweight multi-language syntax transformation with parser parser combinators PLDI 2019
- Macro-by-Example: Deriving Syntactic Transformations from their Specifications POPL 1987
- Automatic Program Improvement: Variable Usage Transformations TOPLAS 1983
- CHAD: Combinatory Homomorphic Automatic Differentiation TOPLAS 2022
- SAIL: Sound Abstract Interpreters with LLMs PLDI 2026
- Safe Fusion of Functional Expressions II: Further Improvements JFP 1994
- Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables POPL 2015