Universität Karlsruhe
An ASM Specification of the Operational Semantics of MIS

Technischer Bericht

[Verifix98:MIS1-2]Thilo Gaul, Andreas Heberle, Dirk Heuzeroth, Wolf Zimmermann, An ASM Specification of the Operational Semantics of MIS, Nr. [Verifix/UKA/3], Oct 1998.

Zusammenfassung

The aim of the Verifix-Project is to investigate the construction of correct compilers. The language MIS serves as the intermediate language to be compiled into machine code of the DEC-Alpha processor. This document contains an ASM specification of the language. A MIS program is a set of basic blocks. The last instruction of a block is always a jump to the successor block. Hence, MIS program built up basic block graphs. The instructions on basic data types are that of the target machine.

[Erzeuge bibTeX Eintrag]

 

[Herunterladen]

Autoren

Alumni
Prof. Wolf Zimmermann
Dr. Thilo Gaul
Dr. Andreas Heberle
Dr. Dirk Heuzeroth
Login
Links