Java bytecode verification on Java cards.

Roberto Barbuti Stefano Cataudella

Published in: SAC (2004)

Keyphrases

java bytecode
virtual machine
java virtual machine
programming language
garbage collection
efficient execution
intermediate representation
memory management
operating system
object oriented
program execution
response time