KIT | KIT-Bibliothek | Impressum | Datenschutz

Ein maschinengeprüftes, typsicheres Modell der Nebenläufigkeit in Java: Sprachdefinition, virtuelle Maschine, Speichermodell und verifizierter Compiler

Lochbihler, Andreas

Open Access Logo


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buchaufsatz
Publikationsjahr 2013
Sprache Deutsch
Identifikator ISBN: 978-3-88579-417-2
ISSN: 1617-5468
KITopen-ID: 1000120862
Erschienen in Ausgezeichnete Informatikdissertationen 2012. Hrsg.: S. Hölldobler
Verlag Köllen, Bonn
Seiten 211 - 221
Serie [GI-Edition / Dissertation] GI-Edition : lecture notes in informatics / Dissertation ; 13
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page