A Java Bytecode Formalisation.

Patryk Czarnik Jacek Chrzaszcz Aleksy Schubert

Published in: VSTTE (2018)

Keyphrases

java bytecode
virtual machine
programming language
garbage collection
efficient execution
intermediate representation
java virtual machine
databases
object oriented
query optimization
memory management