A Functional Scenario for Bytecode Verification of Resource Bounds

Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal Zilio, Line Jakubiec
January, 2004
Cite Project
Type
Conference paper
Publication
In SPACE 2004 — 2nd workshop on Semantics, Program Analysis, and Computing Environments for Memory Management
Complexity Resource Control

Related