33 search results - page 1 / 7 » Verified Bytecode Subroutines |
TPHOL
2003
IEEE
13 years 10 months ago
2003
IEEE
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 9 months ago
1999
ACM
CONCURRENCY
2004
13 years 4 months ago
2004
VMCAI
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...