Preprint
Aug 2026
Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis
Least fixpoints are fundamental to program semantics, but they abstract away the recursive structure that generated them. We introduce operator semantics: a semantic intermediate representation between syntax and classical denotational semantics, which treats programs as operators. Abstract compilation is then understo...
Louis Rustenholz, Alessio Mansutti, Pedro López-García et al.
· 0 citations