[an error occurred while processing this directive]
[an error occurred while processing this directive]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: |