The specification of visual language syntax.

Eric J. Golin Steven P. Reiss

Published in: VL (1989)

Keyphrases

high level
operational semantics
definition language
attribute grammars
natural language
formal verification
real time
knowledge base
website
decision trees
model checking
specification language
constraint language
provably correct
formal languages