Towards a General Framework for Formal Reasoning about Java Bytecode Transformation.

Razika Lounas Mohamed Mezghiche Jean-Louis Lanet

Published in: SCSS (2012)

Keyphrases

java bytecode
virtual machine
garbage collection
artificial intelligence
multi dimensional
database management systems
efficient execution