A Machine-Checked, Type-Safe Model of Java Concurrency

A Machine-Checked, Type-Safe Model of Java Concurrency
Author :
Publisher : KIT Scientific Publishing
Total Pages : 440
Release :
ISBN-10 : 9783866448858
ISBN-13 : 3866448856
Rating : 4/5 (856 Downloads)

Book Synopsis A Machine-Checked, Type-Safe Model of Java Concurrency by : Andreas Lochbihler

Download or read book A Machine-Checked, Type-Safe Model of Java Concurrency written by Andreas Lochbihler and published by KIT Scientific Publishing. This book was released on 2014-06-04 with total page 440 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


A Machine-Checked, Type-Safe Model of Java Concurrency Related Books

A Machine-Checked, Type-Safe Model of Java Concurrency
Language: en
Pages: 440
Authors: Andreas Lochbihler
Categories: Computers
Type: BOOK - Published: 2014-06-04 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstre
Java Concurrency in Practice
Language: en
Pages: 428
Authors: Tim Peierls
Categories: Computers
Type: BOOK - Published: 2006-05-09 - Publisher: Pearson Education

DOWNLOAD EBOOK

Threads are a fundamental part of the Java platform. As multicore processors become the norm, using concurrency effectively becomes essential for building high-
Verified Software. Theories, Tools, and Experiments
Language: en
Pages: 359
Authors: Ruzica Piskac
Categories: Computers
Type: BOOK - Published: 2018-11-23 - Publisher: Springer

DOWNLOAD EBOOK

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Expe
Principled Software Development
Language: en
Pages: 326
Authors: Peter Müller
Categories: Computers
Type: BOOK - Published: 2018-10-23 - Publisher: Springer

DOWNLOAD EBOOK

This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reason
Computer Aided Verification
Language: en
Pages: 523
Authors: Arie Gurfinkel
Categories: Computers
Type: BOOK - Published: 2024-07-25 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Mon