Keyphrases
- specification language
- programming language
- formal specification
- description language
- symbolic execution
- software environment
- database
- requirements specification
- fine grained
- building blocks
- orders of magnitude
- information retrieval systems
- general purpose
- software engineering
- artificial intelligence
- machine learning
- real world