A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler | Andreas Lochbihler | Taschenbuch | Kartoniert / Broschiert | Englisch | 2014 | Karlsruher Institut f�r Technologie | EAN 9783866448858 | Verantwortliche Person f�r die EU: Karlsruher Institut f�r Technologie (KIT), Institut AIFB, Kaiserstr. 89, 76133 Karlsruhe, verlag[at]aifb[dot]uni-karlsruhe[dot]de | Anbieter: preigu.

N� de ref. del art�culo 105263598

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

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

Editor

Karlsruher Institut f�r Technologie

Fecha de publicaci�n

2014

Idioma

Ingl�s

ISBN 10

3866448856

ISBN 13

9783866448858

Encuadernaci�n

Taschenbuch

Estado

Neu

Cat�logos de vendedores

Acerca de

Sinopsis

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.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

preigu betreibt einen Onlineversandhandel mit �ber 1 Mio. Produkten in verschiedenen Sortimenten. Das Kernsortiment besteht aus B�chern, Medien und Spielwaren. Ein gelungenes Einkaufserlebnis ist das Ziel einer jeden Bestellung bei preigu, denn der Kunde und seine Zufriedenheit stehen an erster Stelle. preigu setzt daher auf einen kompetenten Kundenservice, funktionierende Prozesse und schnelle Reaktion.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

preigu
Germany

Condiciones de venta y env�o

Condiciones de venta

Standard Business Terms and customer information

I. Standard business terms

� 1 Basic provisions

(1) The following terms and conditions of business apply for all contracts concluded with us as the supplier (Ansas Meyer) via the websites AbeBooks and/or ZVAB. Unless otherwise agreed, the inclusion of your own terms and conditions is explicitly rejected.

(2) A ?consumer' in the sense of the following regulations is every natural person who concludes a legal transaction which, to an overwhelming ex...

M�s informaci�n