@misc{indiciaeb399ea5c1ea2,
  title = {Don't exhaust, don't waste: Resource-aware soundness for big-step semantics},
  author = {Riccardo Bianchini and Francesco Dagnino and Paola Giannini and Elena Zucca},
  year = {2026},
  doi = {10.46298/jfp.17800},
  url = {https://arxiv.org/abs/2507.13792},
  note = {Source identifier: 2507.13792}
}