Keyphrases
- specification language
- operational semantics
- formal language
- formal specification
- controlled natural language
- database systems
- language learning
- natural language
- programming language
- modeling language
- target language
- attribute grammars
- delay insensitive
- java programming
- formal languages
- modelling language
- real time
- information retrieval
- machine learning