2 papers
cs.PL2026
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…
cs.PL2026
Big-step and small-step Horn clause derivations applied to operational semantics
John P. Gallagher, Manuel Hermenegildo, José Morales +2
The concepts of big-step and small-step derivations are familiar from the operational semantics of programming languages. These concepts are applicable in the more general setting…