Metalanguage and syntax specification.

Walter H. Burkhardt

Published in: Commun. ACM (1965)

Keyphrases

high level
formal specification
operational semantics
definition language
attribute grammars
natural language
formal verification
data mining
information retrieval
information systems
formal methods
provably correct