33 search results - page 1 / 7 » Verified Bytecode Subroutines |
214
Voted
POPL
1998
ACM
15 years 10 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...
130
Voted
POPL
1999
ACM
15 years 10 months ago
1999
ACM
131
Voted
CONCURRENCY
2004
15 years 6 months ago
2004
192
Voted
VMCAI
2005
Springer
15 years 12 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...