Modelling a JVM for polymorphic bytecode.

Giovanni Lagorio

Published in: J. Object Technol. (2007)

Keyphrases

java virtual machine
virtual machine
type checking
program execution
operating system
java card
artificial intelligence
data center
smart card
source code
static analysis
data model
database systems
garbage collection
high level
modelling language
data sets
java bytecode