Generating Java Compiler Optimizers Using Bidirectional CTL.

Ling Fang Masataka Sassa

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

Keyphrases

programming language
java virtual machine
model checking
temporal logic
java bytecode
open source
general purpose
object oriented
lightweight
virtual machine
high level
database applications
web applications
operating system
formal specification