Keyphrases
- programming language
- general purpose
- object oriented
- international conference
- software engineering
- international workshop
- logic programming
- programming environment
- artificial intelligence
- denotational semantics
- database languages
- selected papers
- specification language
- international symposium
- data model
- high level
- relational algebra
- open source
- data abstraction
- strongly typed
- programming paradigms
- lambda calculus