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

Descripció completa

Dades bibliogràfiques

Autor principal:	Lochbihler, Andreas
Format:	Online
Idioma:	anglès
Publicat:	KIT Scientific Publishing 2021
Matèries:	QA75.5-76.95 Java formal semantics type safety memory model concurrency bic Book Industry Communication::U Computing & information technology::UY Computer science
Accés en línia:	34959
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!