Piton: a mechanically verified assembly-level language
Auteur :
Moore, J. Strother
Éditeur :
Kluwer Academic Publishers
ISBN :
9780792339205
Date de publication :
31 janv. 1996
Dimensions :
23,0 cm
Poids :
733 g
Langue :
Anglais
Pays d'origine :
USA
Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. This work describes the specification and proof of a compiler for this realistically complicated assembly-level language.