Keyphrases
- specification language
- formal specification
- operational semantics
- definition language
- programming language
- language learning
- natural language
- declarative language
- language processing
- attribute grammars
- genetic algorithm
- multiple inheritance
- language acquisition
- control flow
- object oriented programming
- modeling language
- situation calculus