Declarative Specification of Visual Languages.

Richard Helm Kim Marriott

Published in: VL (1990)

Keyphrases

visual languages
attribute grammars
context free grammars
high level
knowledge representation
databases
neural network
formal specification
machine learning
relational databases
fuzzy sets
formal verification
provably correct