Sciweavers

Share
26 search results - page 1 / 6
» A Type System for Java Bytecode Subroutines
Sort
View
POPL
1998
ACM
13 years 2 months ago
A Type System for Java Bytecode Subroutines
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 veriļ¬...
Raymie Stata, Martín Abadi
NGC
2008
Springer
149views Communications» more  NGC 2008»
12 years 9 months ago
A New Type System for JVM Lock Primitives
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...
Futoshi Iwama, Naoki Kobayashi
GECCO
2009
Springer
166views Optimization» more  GECCO 2009»
13 years 4 months ago
Genetic programming in the wild: evolving unrestricted bytecode
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...
Michael Orlov, Moshe Sipper
CC
2008
Springer
111views System Software» more  CC 2008»
12 years 11 months ago
Java Bytecode Verification for @NonNull Types
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...
Chris Male, David J. Pearce, Alex Potanin, Constan...
books