Keyphrases
- formal language
- specification language
- formal languages
- operational semantics
- formal specification
- requirements specification
- formal methods
- programming language
- visual languages
- highly expressive
- language learning
- formal semantics
- natural language
- high level
- mathematical theory
- representation language
- specification languages
- model theoretic
- object oriented programming
- language processing
- reactive systems
- action language
- meta level
- e learning
- databases
- definition language
- agent communication language
- description language
- general purpose