A syntax definition formalism
Jan Heering, Paul Klint · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1986
The goal of the GIPE project is to generate interactive programming environments from formal language definitions.We currently envisage language definitions consisting of three parts: (a) a syntax section; (b) a static constraints section; (c) a dynamic semantics section.An initial version of the language definition formalism is being developed.In this paper we concentrate on the syntax section and introduce a new formalism which allows concrete and abstract syntax of specification (and other) languages to be defined simultaneously.The new formalism can be combined with a variety of specification languages.By doing so these obtain fully general user definable syntax.