Keyphrases
- formal theory
- formal languages
- database systems
- natural language
- specification language
- programming language
- theoretical framework
- object oriented languages
- software systems
- computational model
- language learning
- theoretical basis
- computational models
- software engineering
- speech acts
- neural network
- databases
- database