Ein maschinengeprüftes, typsicheres Modell der Nebenläufigkeit in Java: Sprachdefinition, virtuelle Maschine, Speichermodell und verifizierter Compiler.
Andreas LochbihlerPublished in: Ausgezeichnete Informatikdissertationen (2012)
Keyphrases
- high level
- programming language
- software engineering
- java programs
- garbage collection
- general purpose
- level parallelism
- distributed object
- java virtual machine
- web applications
- object oriented languages
- lightweight
- byte code
- java language
- object oriented
- program code
- parallel algorithm
- software systems
- virtual machine
- development environment
- program execution
- java bytecode
- open source
- source code