26 search results - page 1 / 6 » A Type System for Java Bytecode Subroutines |
POPL
1998
ACM
13 years 8 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
POPL
1999
ACM
13 years 8 months ago
1999
ACM
NGC
2008
Springer
13 years 4 months ago
2008
Springer
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...
GECCO
2009
Springer
13 years 11 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
CC
2008
Springer
13 years 6 months ago
2008
Springer
Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algor...