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

Lochbihler, Andreas

 
9783866448858: A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
Softcover
ISBN 10: 3866448856 ISBN 13: 9783866448858
Verlag: KIT Scientific Publishing, 2012

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
KIT Scientific Publishing
Erscheinungsdatum
2012
Sprache
Englisch
ISBN 10 
3866448856
ISBN 13 
9783866448858
Einband
Tapa blanda
Anzahl der Seiten
436
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar