Keyphrases
- specification language
- formal specification
- programming language
- description language
- machine translation
- symbolic execution
- natural language
- software environment
- requirements specification
- natural language processing
- general purpose
- fine grained
- model checking
- databases
- object oriented
- information extraction
- cooperative
- machine learning