Verified bytecode verifiers.

Gerwin Klein Tobias Nipkow

Published in: Theor. Comput. Sci. (2003)

Keyphrases

smart card
source code
virtual machine
java card
high level
java virtual machine
database
real world
feature extraction
data structure