Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: B010DPU23G
• ISBN13: 9783540634065
• Release Date: August 1997
• Publisher: Springer
• Length: 260 Pages
• Weight: 0.90 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"