The automatic generation of graphical user interfaces

The author deals with the properties of a tool called G/sup 2/F (an editor generator for two-dimensional graphical formulas). G/sup 2/F makes it possible to define two-dimensional grammars graphically and to generate a corresponding syntax-directed editor. It facilitates syntactic-correctness-preserving operations on the abstract syntax trees of formulas and produces hardcopies of whole operation sequences on a laser printer. Thus, G/sup 2/F can be used to create user interfaces for a variety of applications. It is well suited to support a clear and surveyable representation of complex expressions which occur in every formal framework and to invoke procedures of an application transforming its abstract syntax.<
>