Title :
A predicate-based approach to defining visual language syntax
Author :
Janneck, Jörn W. ; Esser, Robert
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
Abstract :
This paper presents an approach to the specification of visual language syntax. Based on attributed graphs as the notion of abstract syntax, syntactical correctness is specified by a set of predicates over that structure. The proposed technique facilitates the natural embedding of other visual and textual notations, the definition of complex syntactic and static-semantic properties, as well as a precise error diagnosis and localization. An editing environment supporting this technique is briefly discussed
Keywords :
computational linguistics; formal logic; formal specification; graph theory; visual languages; abstract syntax; attributed graphs; error diagnosis; formal specification; hierarchical graph; predicates; syntactical correctness; visual language syntax; Australia; Computer science; Legged locomotion;
Conference_Titel :
Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on
Conference_Location :
Stresa
Print_ISBN :
0-7803-7198-4
DOI :
10.1109/HCC.2001.995232
