33 search results - page 1 / 7 » Verified Bytecode Subroutines |
134
Voted
TPHOL
2003
IEEE
16 years 27 days ago
2003
IEEE
247
click to vote
POPL
1998
ACM
15 years 12 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...
154
Voted
CONCURRENCY
2004
15 years 7 months ago
2004
236
click to vote
VMCAI
2005
Springer
16 years 1 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...