Verifying a compiler optimization for Multi-Threaded Java.

Bernhard Reus Alexander Knapp Pietro Cenciarelli Martin Wirsing

Published in: WADT (1997)

Keyphrases

multi threaded
java programs
java virtual machine
multi core processors
multithreading
operating system
information flow
programming language
real time
general purpose
computer architecture
genetic algorithm
parallel programming