Artículos relacionados a A Machine-Checked, Type-Safe Model of Java Concurrency:...
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler - Tapa blanda
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 46,78
EUR 4,29 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para A Machine-Checked, Type-Safe Model of Java Concurrency:...
Imagen de archivo
A MachineChecked, TypeSafe Model of Java Concurrency Language, Virtual Machine, Memory Model, and Verified Compiler
Publicado por
Karlsruher Institut f?r Technologie, 2014
ISBN 10: 3866448856
ISBN 13: 9783866448858
Nuevo
PAP
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783866448858
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
Publicado por
KIT Scientific Publishing, 2012
ISBN 10: 3866448856
ISBN 13: 9783866448858
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783866448858_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Publicado por
Karlsruher Institut Für Technologie Sep 2012, 2012
ISBN 10: 3866448856
ISBN 13: 9783866448858
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 436 pp. Englisch. Nº de ref. del artículo: 9783866448858
Cantidad disponible: 2 disponibles
Imagen de archivo
A MachineChecked, TypeSafe Model of Java Concurrency Language, Virtual Machine, Memory Model, and Verified Compiler
Publicado por
Karlsruher Institut f?r Technologie, 2014
ISBN 10: 3866448856
ISBN 13: 9783866448858
Nuevo
PAP
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783866448858
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Publicado por
Karlsruher Institut Für Technologie, 2012
ISBN 10: 3866448856
ISBN 13: 9783866448858
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9783866448858
Cantidad disponible: 1 disponibles
Imagen de archivo
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Publicado por
Karlsruher Institut fur Technologie 2014-06, 2014
ISBN 10: 3866448856
ISBN 13: 9783866448858
Nuevo
PF
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783866448858
Cantidad disponible: 10 disponibles
Imagen del vendedor
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Publicado por
KIT Scientific Publishing, 2014
ISBN 10: 3866448856
ISBN 13: 9783866448858
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 conc. Nº de ref. del artículo: 5588170
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
Publicado por
KIT Scientific Publishing, 2012
ISBN 10: 3866448856
ISBN 13: 9783866448858
Nuevo
Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783866448858
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Publicado por
Karlsruher Institut Für Technologie, Karlsruher Institut Für Technologie Jun 2014, 2014
ISBN 10: 3866448856
ISBN 13: 9783866448858
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware -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. 436 pp. Englisch. Nº de ref. del artículo: 9783866448858
Cantidad disponible: 2 disponibles
Imagen del vendedor
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Publicado por
Karlsruher Institut für Technologie, 2014
ISBN 10: 3866448856
ISBN 13: 9783866448858
Nuevo
Taschenbuch
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. 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
Cantidad disponible: 5 disponibles