Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis

Louis Rustenholz, Alessio Mansutti, Pedro López-García +3

Least fixpoints are fundamental to program semantics, but they abstract away the recursive structure that generated them. We introduce operator semantics: a semantic intermediate r…