Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

MAX-ASM Interpreter Generators


Citation: Arnd Poetzsch-Heffter, "Developing Efficient Interpreters Based on Formal Language Specifications." In P. Fritzson (Ed.): Compiler Construction, 1994, Springer LNCS 786, pp. 233-247.
Summary: ASMs are used in conjunction with the author's MAX system to enable the generation and refinement of interpreters based on formal language specifications.
Subjects: Interpreters & Tools
Download: PostScript, PDF, Compressed PostScript
Notes: