Item description for Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science) by Markus Müller-Olm...
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.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Est. Packaging Dimensions: Length: 9.21" Width: 6.06" Height: 0.63" Weight: 0.93 lbs.
Release Date Sep 12, 1997
ISBN 3540634061 ISBN13 9783540634065
Availability 88 units. Availability accurate as of Jan 16, 2017 05:56.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.