A Functional Scenario for Bytecode Verification of Resource Bounds.

Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec

Browse the full CSL paper archive.