Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Compilation to C++


Citation: Joachim Schmid, "Compiling Abstract State Machines to C++". In R. Moreno-Díaz and A. Quesada-Arencibia, eds., Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001), Universidad de Las Palmas de Gran Canaria, Canary Islands, Spain, February 2001, 298-300.
Summary: A discussion of an automated tool for compiling ASM specifications (from the ASM Workbench tool) directly into production-quality C++ code.
Subjects: Interpreters & Tools
Download: From Joachim Schmid's homepage in PostScript or PDF.
Notes: See the full paper.