A Machine-Checked, Type-Safe Model of Java Concurrency
- Andreas Lochbihler
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹4,170Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books GOAudible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
A Machine-Checked, Type-Safe Model of Java Concurrency is written by Andreas Lochbihler and published by KIT Scientific Publishing. It's available with International Standard Book Number or ISBN identification 3866448856 (ISBN 10) and 9783866448858 (ISBN 13).
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.
