Modular compiler verification: a refinement-algebraic approach advocating stepwise abstraction
Auteur :
Muller-Olm, M.
Éditeur :
Muller-Olm, M.
ISBN :
9783540634065
Date de publication :
6 août 1997
Dimensions :
23,4 x 15,6 x 1,4 cm
Poids :
880 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Focusing on modular compiler verification, this volume presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. It covers correctness of translation down to actual machine code.