A Verifier for Region-Annotated Java Bytecodes.

Sigmund Cherem Radu Rugina

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

source code
open source
lightweight
region of interest
adjacent regions
object oriented
multi threaded
neural network
genetic algorithm
image structure
java card
java programs