A declarative specification and semantics for visual languages.
Richard HelmKim MarriottPublished in: J. Vis. Lang. Comput. (1991)
Keyphrases
- visual languages
- attribute grammars
- context free grammars
- specification language
- formal languages
- high level
- operational semantics
- formal semantics
- formal language
- conceptual model
- conceptual schema
- action language
- formal specification
- specification languages
- active rules
- control flow
- logic programming
- truth maintenance systems
- data management
- knowledge representation
- data model