jMoped: A Java Bytecode Checker Based on Moped.

Dejvuth Suwimonteerabuth Stefan Schwoon Javier Esparza

Published in: TACAS (2005)

Keyphrases

java bytecode
virtual machine
programming language
garbage collection
efficient execution
java virtual machine
intermediate representation
general purpose
memory management
operating system
space efficient