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.

[an error occurred while processing this directive]

Abstract State Machines