Preprint
Aug 2026
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis
This work develops higher-order abstract domains for functions, operators, and programs themselves, in which composition is the key novel primitive, together with a categorical framework for constructing sound, precise, and modular abstract compilers.
Louis Rustenholz, Alessio Mansutti, Pedro López-García et al.
· 0 citations