TY  - RPRT
TI  - Don't exhaust, don't waste: Resource-aware soundness for big-step semantics
AU  - Riccardo Bianchini
AU  - Francesco Dagnino
AU  - Paola Giannini
AU  - Elena Zucca
PY  - 2026
DO  - 10.46298/jfp.17800
UR  - https://arxiv.org/abs/2507.13792
ID  - 2507.13792
ER  -