Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Paperback, 1997 ed.)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1283
Release date:	2001
First published:	1997
Authors:	Markus Muller-Olm
Dimensions:	235 x 155 x 14mm (L x W x T)
Format:	Paperback
Pages:	260
Edition:	1997 ed.
ISBN-13:	978-3-540-63406-5
Categories:	Books > Computing & IT > Computer programming > Compilers & interpreters Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Books > Computing & IT > Computer programming > Programming languages > General
LSN:	3-540-63406-1
Barcode:	9783540634065

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!