Keyphrases
- specification languages
- formal specification
- object oriented programs
- programming language
- code generation
- first order logic
- general purpose
- computer architecture
- hardware and software
- model checking
- linear algebra
- higher order
- databases
- computer systems
- massively parallel
- mathematical theory
- computing systems
- access control
- relational databases
- information retrieval
- data mining