Keyphrases
- formal semantics
- programming language
- denotational semantics
- operational semantics
- general purpose
- object oriented
- programming environment
- logic programming
- software engineering
- logical language
- strongly typed
- high level
- modeling language
- database languages
- first order logic
- er model
- theorem prover
- speech acts
- knowledge representation
- specification language
- open source
- modelling language