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