123 search results - page 1 / 25 » A Type System for Object Initialization in the Java Bytecode... |
OOPSLA
1998
Springer
13 years 9 months ago
1998
Springer
NGC
2008
Springer
13 years 5 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...
ESOP
2007
Springer
13 years 9 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
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...
POPL
1998
ACM
13 years 9 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...