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

Täydet tiedot

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Lochbihler, Andreas (auth)
Aineistotyyppi: Elektroninen Kirjan osa
Kieli:englanti
Julkaistu: KIT Scientific Publishing 2012
Aiheet:
Linkit:DOAB: download the publication
DOAB: description of the publication
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!

Internet

DOAB: download the publication
DOAB: description of the publication

3rd Floor Main Library

Saatavuus: 3rd Floor Main Library
Hyllypaikka: A1234.567
Nide 1 Saatavissa