Keyphrases
- programming language
- java bytecode
- object oriented languages
- java programming
- strongly typed
- java virtual machine
- natural language
- object oriented programming
- specification language
- object oriented
- language learning
- language neutral
- java language
- source code
- open source
- formal methods
- advanced features
- oracle pl sql
- asynchronous circuits
- development environment
- virtual machine
- high level
- formal verification
- pattern languages
- database
- language processing
- model checking
- lightweight