Keyphrases
- programming language
- java bytecode
- model checking
- natural language
- programs written
- language learning
- general purpose
- english language
- data sets
- object oriented
- operating system
- language processing
- programming environment
- highly modular
- highly optimized
- java virtual machine
- specification language
- software systems
- logic programming
- source code
- knowledge base