Login / Signup
Reference Manual for the Meta-Language.
Dines Bjørner
Published in:
Towards a Formal Description of Ada (1980)
Keyphrases
</>
meta level
error prone
natural language
language processing
programming language
semi automatic
artificial intelligence
database systems
relational databases
information extraction
conceptual graphs
specification language
formal language