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.

[an error occurred while processing this directive]

Abstract State Machines