Symbolic backward simulation of Java bytecode program.

Tetsuya Inafune Shinichi Miura Toshihiro Taketa Yukio Hiranaka

Published in: ICCMS (2018)

Keyphrases

power consumption
java bytecode
database systems
information systems
data structure
virtual machine
program execution
cost effective
expressive power
java virtual machine