Gå direkte til innholdet
Modular Compiler Verification
Spar

Modular Compiler Verification

This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer.
Undertittel
A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Opplag
1997 ed.
ISBN
9783540634065
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
6.8.1997
Antall sider
260