Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Modular Compiler Verification

Name: Modular Compiler Verification
Brand: Springer, Berlin
SKU: 01566446
Price: 51.69 EUR
Availability: InStock
Author: Markus Müller-Olms
ISBN: 9783540634065

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Markus Müller-Olms

Language

English

Book Paperback

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

Libristo code: 01566446

125 b

51.69 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Liz and the Blue Bird

Blu-ray

20.63 €

Vysoké Tatry - preukaz na pečiatky (zelená obálka) autorov Kolektív

Paperback

4.75 €

SPA-COMEDIAS COTEJADAS CON LAS Pedro 1600-1681 Calderon De La Barca

Paperback

32.57 €

Elasticidade - Conceitos Gerais Leandro Bertoldo

Paperback

12.13 €

peinture, poeme en trois chants Le Mierre-A

Paperback

16.48 €

Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung Anonym

Paperback

14.46 €

Las grandes religiones para Dummies Paula González Fernández

Paperback

20.93 €

La India Mircea Eliade

Paperback

28.52 €

Picadores Andres Reyes Soto

Paperback

19.32 €

Was ist Wahrnehmung? Axel Ziemke

Paperback

84.98 €

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.