Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Compilation to C++


Citation: Joachim Schmid, "Compiling Abstract State Machines to C++". Journal of Universal Computer Science 7( 11), 1068-1087.
Summary: A presentation of a compilation scheme to transform an ASM specification in the syntax of the ASM-Workbench into C++, preserving the specification structure in the generated code without generating inefficient code. The implemented compiler was used successfully in the industrial FALKO application at Siemens Corporate Technology.
Subjects: Interpreters & Tools
Download: From Joachim Schmid's homepage in PostScript or PDF.
Notes: See the extended abstract.