Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Prototyping Languages


Citation: Arnd Poetzsch-Heffter, "Prototyping Realistic Programming Languages Based Formal Specificiations", Acta Informatica, vol. 34, 1997, 737--772.
Summary: A tool supporting the generation of language-specific software from specifications is presented. Static semantics is defined by an attribution technique (e.g. for the specification of flow graphs). The dynamic semantics is defined by ASMs. As an example, an object-oriented programming language with parallelism is specified.
Subjects: Interpreters & Tools
Download: PostScript, PDF, Compressed PostScript
Notes: