Keyphrases
- programming language
- object oriented
- strongly typed
- international conference
- software engineering
- expert systems
- database languages
- specification language
- programming environment
- high level
- general purpose
- lecture notes in artificial intelligence
- logic programming
- database
- object oriented concepts
- lecture notes
- lambda calculus
- data abstraction
- international symposium
- databases