Siirry suoraan sisältöön
Modular Compiler Verification
Tallenna

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.
Alaotsikko
A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Painos
1997 ed.
ISBN
9783540634065
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
6.8.1997
Sivumäärä
260