A Functional Scenario for Bytecode Verification of Resource Bounds (2004)
Cached
Download Links
- [www.cmi.univ-mrs.fr]
- [www.cmi.univ-mrs.fr]
- DBLP
Other Repositories/Bibliography
| Venue: | In Jerzy Marcinkowski and Andrzej Tarlecki, editors, Computer Science Logic, 18th International Workshop, CSL 13th Annual Conference of the EACSL, Karpacz |
| Citations: | 18 - 3 self |
BibTeX
@INPROCEEDINGS{Amadio04afunctional,
author = {Roberto M. Amadio and Solange Coupet-grimal and Silvano Dal Zilio and Line Jakubiec},
title = {A Functional Scenario for Bytecode Verification of Resource Bounds},
booktitle = {In Jerzy Marcinkowski and Andrzej Tarlecki, editors, Computer Science Logic, 18th International Workshop, CSL 13th Annual Conference of the EACSL, Karpacz},
year = {2004},
pages = {265--279},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be verified at load time so as to ensure bounds on the time and space resources required for its execution, as well as to guarantee the usual integrity properties.
