Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

MIS


Citation: Thilo Gaul, Andreas Heberle, and Wolf Zimmerman, "An ASM Specification of the Operational Semantics of MIS". Verifix Working Paper [Verifix/UKA/3], University of Karlsruhe, 1998.
Summary: An ASM specification of MIS, an intermediate programming language used in the Verifix project for provably correct compilation to the DEC-Alpha microprocessor.
Subjects: Programming Languages
Download: PostScript, PDF, Compressed PostScript
Notes: