Gå direkt till innehållet
Modular Compiler Verification
Spara

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.
Undertitel
A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Upplaga
1997 ed.
ISBN
9783540634065
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1997-08-06
Sidor
260