A formalism for the definition of graphical formulas

  • Authors:
  • Robert Gabriel

  • Affiliations:
  • Gesellschaft für Mathematik und Datenverarbeitung Karlsruhe, (German National Research Center for Computer Science)

  • Venue:
  • SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
  • Year:
  • 1988

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes a new formalism (the typed holistic formula definition) which enables to define two dimensional formula grammars very easily by just drawing a prototype of the desired formula. The formalism is used in a tool called G2F (An Editor Generator for Two Dimensional Graphical Formulas) the properties of which are also sketched (its main advantage is the possibility to use the editors as interfaces for symbol manipulating systems).