93 search results - page 3 / 19 » Java bytecode specification and verification |
CAV
1999
Springer
13 years 11 months ago
1999
Springer
TOPLAS
2008
13 years 6 months ago
2008
CONCURRENCY
2004
13 years 6 months ago
2004
CADE
2002
Springer
14 years 7 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
14 years 7 days 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 ...