93 search results - page 3 / 19 » Java bytecode specification and verification |
CAV
1999
Springer
13 years 9 months ago
1999
Springer
TOPLAS
2008
13 years 5 months ago
2008
CONCURRENCY
2004
13 years 5 months ago
2004
CADE
2002
Springer
14 years 5 months ago
2002
Springer
This paper reports on the formal proof of correctness of a compiler from a substantial subset of Java source language to Java bytecode in the proof environment Isabelle. This work ...
IPPS
2003
IEEE
13 years 10 months ago
2003
IEEE
The available Instruction Level Parallelism in Java bytecode (Java-ILP) is not readily exploitable using traditional in-order or out-of-order issue mechanisms due to dependencies ...