Java Jr: Fully Abstract Trace Semantics for a Core Java Language.

Alan Jeffrey Julian Rathke

Published in: ESOP (2005)

Keyphrases

java language
java programs
open source
programming language
java virtual machine
platform independent
java programming
high level
software components
object oriented
multi threaded
databases
database
memory management