33 search results - page 1 / 7 » Verified Bytecode Subroutines |
239
Voted
POPL
1998
ACM
15 years 11 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...
148
Voted
POPL
1999
ACM
15 years 11 months ago
1999
ACM
150
Voted
CONCURRENCY
2004
15 years 7 months ago
2004
223
Voted
VMCAI
2005
Springer
16 years 22 days 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...