Items related to 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 - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for A Machine-Checked, Type-Safe Model of Java Concurrency:...
Stock Image
A MachineChecked, TypeSafe Model of Java Concurrency Language, Virtual Machine, Memory Model, and Verified Compiler
Published by
Karlsruher Institut f?r Technologie, 2014
ISBN 10: 3866448856
ISBN 13: 9783866448858
New
PAP
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783866448858
Quantity: Over 20 available
Stock Image
A MachineChecked, TypeSafe Model of Java Concurrency Language, Virtual Machine, Memory Model, and Verified Compiler
Published by
Karlsruher Institut f?r Technologie, 2014
ISBN 10: 3866448856
ISBN 13: 9783866448858
New
PAP
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783866448858
Quantity: Over 20 available
Stock Image
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Published by
Karlsruher Institut fur Technologie 2014-06, 2014
ISBN 10: 3866448856
ISBN 13: 9783866448858
New
PF
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783866448858
Quantity: 10 available
Stock Image
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
Published by
KIT Scientific Publishing, 2012
ISBN 10: 3866448856
ISBN 13: 9783866448858
New
Softcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Apr0316110165298
Quantity: Over 20 available
Stock Image
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
Published by
KIT Scientific Publishing, 2012
ISBN 10: 3866448856
ISBN 13: 9783866448858
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783866448858_new
Quantity: Over 20 available
Stock Image
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
Published by
KIT Scientific Publishing, 2012
ISBN 10: 3866448856
ISBN 13: 9783866448858
New
Softcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783866448858
Quantity: Over 20 available
Seller Image
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Published by
Karlsruher Institut Für Technologie Sep 2012, 2012
ISBN 10: 3866448856
ISBN 13: 9783866448858
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783866448858
Quantity: 2 available
Seller Image
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Published by
Karlsruher Institut Für Technologie, 2012
ISBN 10: 3866448856
ISBN 13: 9783866448858
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783866448858
Quantity: 1 available
Seller Image
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Published by
KIT Scientific Publishing, 2014
ISBN 10: 3866448856
ISBN 13: 9783866448858
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 5588170
Quantity: Over 20 available
Seller Image
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Published by
Karlsruher Institut Für Technologie, Karlsruher Institut Für Technologie Jun 2014, 2014
ISBN 10: 3866448856
ISBN 13: 9783866448858
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783866448858
Quantity: 2 available