| 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: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/obercompile.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT