Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

A Compiler for Oberon


Citation: A.V. Zamulin, "Specification of an Oberon Compiler By Means of a Typed Gurevich Machine", Technical Report 589.3945009.00007-01, Institute of Informatics Systems, Siberian Division, Russian Academy of Sciences, Novosibirsk, 1997.
Summary: A Typed Gurevich Machine is used to define a compiler for Oberon to an algebraically-specified abstract target machine.
Subjects: Programming Languages
Download: PostScript, PDF, Compressed PostScript
Notes: