ESOP   2005 European Symposium on Programming
Wall of Fame | Most Viewed ESOP-2005 Paper
13 years 10 months ago
Asserting Bytecode Safety
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
Martin Wildmoser, Tobias Nipkow
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source213
2Download preprint from source204
3Download preprint from source167
4Download preprint from source161
5Download preprint from source159
6Download preprint from source155
7Download preprint from source152
8Download preprint from source152
9Download preprint from source144
10Download preprint from source138
11Download preprint from source126
12Download preprint from source121
13Download preprint from source117
14Download preprint from source116
15Download preprint from source110
16Download preprint from source107
17Download preprint from source92
18Download preprint from source92
19Download preprint from source86