TY  - RPRT
TI  - Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis
AU  - Louis Rustenholz
AU  - Alessio Mansutti
AU  - Pedro López-García
AU  - Félix Ridoux
AU  - Niki Vazou
AU  - Manuel V. Hermenegildo
PY  - 2026
UR  - https://arxiv.org/abs/2608.09769
ID  - 2608.09769
ER  -