ResearchHub Endowment
Earn daily Funding Credits to fund science
Paper
Paper
Search
Log in
Sign up
Sign up
Publish
Home
My Funding
Peer Review
Journal
Endowment
Help & resources
Don't exhaust, don't waste: Resource-aware soundness for ... | ResearchHub
ResearchHub Endowment
Earn daily Funding Credits to fund science
Paper
Paper
Search
Log in
Sign up
Sign up
Publish
Home
My Funding
Peer Review
Journal
Endowment
Help & resources
Don't exhaust, don't waste: Resource-aware soundness for big-step semantics
By
Riccardo Bianchini
3 more
Riccardo Bianchini
·
Francesco Dagnino
1 more
·
Elena Zucca
July 1, 2026
0
Paper
Reviews
0
Conversation
0
Bounties
0
Loading PDF viewer…
Preprint Server
Topics
#computer-science
#programming-languages
DOI
10.48550/arXiv.2507.13792
License
CC-BY-SA
Other Formats
PDF
