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

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

4.11 - 1251 ratings - Source



an example that the JMM corrupts Java security in theory (As4.3.5); a€c a verified compiler from source code to bytecode (Chapter 5); a€c an ... JinjaThreads covers all concurrency features from the Java language specification [56] except a€c the methods stop, destroy, suspend, ... Standard Java coding practice circumvents this; seeanbsp;...


Title:A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Author: Andreas Lochbihler
Publisher:KIT Scientific Publishing - 2012
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA