A Parsing Methodology for the Implementation of Visual Systems

The Visual Language Compiler-Compiler (VLCC) is a grammar-based graphical system for the automatic generation of visual programming environments. In this paper the theoretical and algorithmic issues of VLCC are discussed in detail. The parsing methodology we present is based on the "positional grammar" model. Positional grammars naturally extend context-free grammars by considering new relations in addition to string concatenation. Thanks to this, most of the results from LR parsing can be extended to the positional grammars inheriting the well known LR technique efficiency. In particular, we provide algorithms to implement a YACC-like tool embedded in the VLCC system for automatic compiler generation of visual languages described by positional grammars.

[1]  Kim Marriott,et al.  Automatic construction of user interfaces from constraint multiset grammars , 1995, Proceedings of Symposium on Visual Languages.

[2]  Genny Tortora,et al.  Automatic Generation of Visual Programming Environments , 1995, Computer.

[3]  Rudi Lutz,et al.  Chart Parsing of Flowgraphs , 1989, IJCAI.

[4]  Kim Marriott.  Constraint multiset grammars , 1994, Proceedings of 1994 IEEE Symposium on Visual Languages.

[5]  Rudi Lutz.  Chart Parsing of Attributed Structure-Sharing Flowgraphs with Tie-Point Relationships , 1993, IWPT.

[6]  Genny Tortora,et al.  Efficient parsing of multidimensional structures , 1991, Proceedings 1991 IEEE Workshop on Visual Languages.

[7]  Jerome Feder,et al.  Plex languages , 1971, Inf. Sci..

[8]  Martin Odersky,et al.  Building visual language parsers , 1991, CHI '91.

[9]  Andrea De Lucia,et al.  Towards efficient parsing of diagrammatic languages , 1994, AVI '94.

[10]  Eric J. Golin,et al.  Parsing visual languages with picture layout grammars , 1991, J. Vis. Lang. Comput..

[11]  Linda Mary Wills,et al.  Automated program recognition by graph parsing , 1992 .

[12]  Giorgio Satta,et al.  Symbol-Relation Grammars: A Formalism for Graphical Languages , 1996, Inf. Comput..

[13]  Gennaro Costagliola,et al.  Parsing Nonlinear Languages , 1994, IEEE Trans. Software Eng..

[14]  Kent Wittenburg.  Earley-style parsing for relational grammars , 1992, Proceedings IEEE Workshop on Visual Languages.

[15]  Bing Yu,et al.  Visual-Language System for User Interfaces , 1995, IEEE Softw..

[16]  Genny Tortora,et al.  Automating Visual Language Generation , 1990, IEEE Trans. Software Eng..

[17]  Genny Tortora,et al.  Efficient Parsing of Data-Flow Graphs , 1995, SEKE.

[18]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[19]  Eric J. Golin,et al.  Early Experience with the Visual Programmer's WorkBench , 1990, IEEE Trans. Software Eng..

[20]  Martin Erwig,et al.  Heterogeneous visual languages-integrating visual and textual programming , 1995, Proceedings of Symposium on Visual Languages.

[21]  Eric J. Golin,et al.  A compiler generator for visual languages , 1993, Proceedings 1993 IEEE Symposium on Visual Languages.

[22]  Genny Tortora,et al.  Relation grammars and their application to multi-dimensional languages , 1991, J. Vis. Lang. Comput..

[23]  Murray Hill,et al.  Yacc: Yet Another Compiler-Compiler , 1978 .

[24]  Kim Marriott,et al.  Declarative specification of visual languages , 1990, Proceedings of the 1990 IEEE Workshop on Visual Languages.