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

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 i...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Lochbihler, Andreas
Format:	Online
Sprache:	Englisch
Veröffentlicht:	KIT Scientific Publishing 2021
Schlagworte:	QA75.5-76.95 Java formal semantics type safety memory model concurrency bic Book Industry Communication::U Computing & information technology::UY Computer science
Online-Zugang:	34959
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!