Abstract:
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-di...Show MoreMetadata
Abstract:
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.<>
Date of Conference: 11-14 April 1988
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-8186-0834-X
Citations are not available for this document.
Cites in Papers - |
Cites in Papers - IEEE (1)
Select All
1.
R. Gabriel, S. Jagnichen, "Graphical representations and software engineering", Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems, pp.234-239, 1992.
Cites in Papers - Other Publishers (3)
1.
Robert Gabriel, "Software Technology and Two-Dimensional Editing", Innovative Programmiermethoden für Graphische Systeme, pp.72, 1992.
2.
Robert Gabriel, Stefan Jähnichen, "The Tooluse approach to integration", Software Engineering Environments, vol.467, pp.167, 1990.
3.
Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens, "Two approaches towards the formalisation of VDM", VDM '90 VDM and Z — Formal Methods in Software Development, vol.428, pp.370, 1990.