[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Modular Compiler Verification

Language EnglishEnglish
Book Paperback
Book Modular Compiler Verification Markus Müller-Olms
Libristo code: 01566446
Publishers Springer, Berlin, November 1996
This book presents the verified design of a code generator translating a prototypic real-time progra... Full description
? points 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

TOP
V for Vendetta Alan Moore / Paperback
common.buy 21.29 €
TOP
Saga of Tanya the Evil, Vol. 11 (manga) / Paperback
common.buy 12.83 €
Mythic World / Paperback
common.buy 13.48 €
Wolverine Omnibus Vol. 2 Walt Simonson / Hardback
common.buy 142.36 €
La utz awach? R.McKenna Brown / Paperback
common.buy 58.97 €
APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN / Paperback
common.buy 49.98 €
Modern Compiler Design Dick Grune / Hardback
common.buy 158.31 €
Integrated planning and operation of plating process chains Alexander Tobias Leiden / Paperback
common.buy 35.96 €
Build Your Own .NET Language and Compiler Edward G. Nilges / Paperback
common.buy 54.90 €
GAG: A Practical Compiler Generator U. Kastens / Paperback
common.buy 37.99 €
Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung Anonym / Paperback
common.buy 17.07 €
Compiler Technology Derek Beng Kee Kiong / Hardback
common.buy 206.48 €
Compiler Construction Shriram Krishnamurthi / Paperback
common.buy 68.07 €

This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.

About the book

Full name Modular Compiler Verification
Author Markus Müller-Olms
Language English
Binding Book - Paperback
Date of issue 1997
Number of pages 260
EAN 9783540634065
ISBN 3540634061
Libristo code 01566446
Publishers Springer, Berlin
Weight 414
Dimensions 156 x 234 x 14

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account