5 search results - page 1 / 1 » A Specification of Java Loading and Bytecode Verification |
CCS
1998
ACM
13 years 9 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
SAC
2006
ACM
13 years 10 months ago
2006
ACM
CSL
2004
Springer
13 years 8 months ago
2004
Springer
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 ...
IWMM
2010
Springer
13 years 6 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...