Keyphrases
- programming language
- general purpose
- object oriented
- software engineering
- strongly typed
- programming environment
- high level
- database language
- programming tool
- object oriented programming
- denotational semantics
- specification language
- computer programs
- logic programming
- theorem proving
- deductive databases
- database design
- data abstraction
- source code
- data model
- concurrent programming
- artificial intelligence