↓Skip to main content

A Functional Scenario for Bytecode Verification of Resource Bounds

Complexity Resource Control
Table of Contents

Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal Zilio, Line Jakubiec
In SPACE 2004 — 2nd workshop on Semantics, Program Analysis, and Computing Environments for Memory Management, jan 2004.

conference paper

Abstract
#

Citation
#


@InProceedings{DalzilioS:fbvrbSPACE,
   author    = {Amadio, Roberto M. and Coupet-Grimal, Solange and {Dal Zilio}, Silvano and Jakubiec, Line},
   title     = {{A Functional Scenario for Bytecode Verification of Resource Bounds}},
   booktitle = {SPACE 2004 -- 2nd workshop on Semantics, Program Analysis, and Computing Environments for Memory Management},
   month     = jan, 
   year      = 2004
}