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