Java Bytecode Verification with OCL Why, How and Whenc.

Christoph Bockisch Gabriele Taentzer Nebras Nassar Lukas Wydra

Published in: J. Object Technol. (2020)

Keyphrases

java bytecode
virtual machine
programming language
garbage collection
java virtual machine
efficient execution
intermediate representation
memory management
high level
xml documents
test cases
query optimization
cost effective