Keyphrases
- specification language
- formal language
- programming language
- formal languages
- meta level
- natural language interface
- operational semantics
- high level
- natural language
- action language
- user interface
- object oriented programming
- language learning
- visual query language
- web services
- website
- target language
- script language
- novice users
- friendly interface
- definition language
- formal verification
- conceptual models
- databases
- machine translation
- relational databases
- machine learning