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

dc.contributor.author	Lochbihler, Andreas
dc.contributor.editor	Hölldobler, Steffen
dc.date.accessioned	2020-08-21T08:46:01Z
dc.date.available	2020-08-21T08:46:01Z
dc.date.issued	2013
dc.description.abstract	Charakteristisch für die Programmiersprache Java sind sowohl ihre Sicherheitsgarantien wie beispielsweise Typsicherheit und die Sicherheitsarchitektur als auch die direkte Unterstützung von Threads. In der hier vorgestellten Dissertation [Loc12b] wird ein maschinengeprüftes Modell von nebenläufigem Java einschließlich des Java-Speichermodells entwickelt und die Auswirkungen der Nebenläufigkeit auf diese Garantien untersucht. Aus dem formalen Modell wurde automatisch ein ausführbarer Interpreter, Übersetzer und eine virtuelle Maschine einschließlich eines Bytecode-Verifizierers generiert, mit dem das Modell empirisch gegen Java-Benchmarks validiert wurde.	de
dc.identifier.isbn	978-3-88579-417-2
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/33737
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2012
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-13
dc.title	Ein maschinengeprüftes, typsicheres Modell der Nebenläufigkeit in Java: Sprachdefinition, virtuelle Maschine, Speichermodell und verifizierter Compiler	de
gi.citation.endPage	220
gi.citation.publisherPlace	Bonn
gi.citation.startPage	211

Dateien

1 - 1 von 1