Formal Techniques for Java-Like Programs.

John Boyland Dave Clarke Gary T. Leavens Francesco Logozzo Arnd Poetzsch-Heffter

Published in: ECOOP Workshops (2007)

Keyphrases

java programs
object oriented languages
formal specification
multi threaded
java bytecode
programming language
distributed object
computer programs
lightweight
source code
mathematical theory
open source
programming environment
java language
java virtual machine
program code
programs written