A Functional Scenario for Bytecode Verification of Resource Bounds

Publication
In SPACE 20042nd workshop on Semantics, Program Analysis, and Computing Environments for Memory Management