Keyphrases
- object oriented languages
- computer programs
- expressive power
- language independent
- functional language
- database languages
- model checking
- java bytecode
- functional programming
- artificial intelligence
- high level
- databases
- programming language
- object oriented programming
- language constructs
- case study
- information retrieval
- machine learning