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

• Main Author: Müller-Olm, Markus (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
• Edition: 1st ed. 1997.
• Series: Lecture Notes in Computer Science, 1283
• Subjects: Programming languages (Electronic computers).; Architecture, Computer.; Software engineering.; Computer logic.; Special purpose computers.; Programming Languages, Compilers, Interpreters.; Computer System Implementation.; Software Engineering.; Logics and Meanings of Programs.; Special Purpose and Application-Based Systems.

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 t...