DocumentCode
2409933
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
fYear
2001
fDate
2001
Firstpage
40
Lastpage
47
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on
Conference_Location
Stresa
Print_ISBN
0-7803-7198-4
Type
conf
DOI
10.1109/HCC.2001.995232
Filename
995232
Link To Document