KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Online-Ressource

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler (2012)

Lochbihler, Andreas

KIT Scientific Publishing

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

edoccha_9959146087902883

Umfang: 1 electronic resource (XXI, 412 p. p.)

ISBN: 1000028867

Inhalt: The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.

Anmerkung: English

Weitere Ausg.: ISBN 3-86644-885-6

Sprache: Englisch

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Charité

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg