Objects in Concurrent Logic Programming Languages.
Kenneth M. KahnEric Dean TribbleMark S. MillerDaniel G. BobrowPublished in: OOPSLA (1986)
Keyphrases
- programming language
- logic programming
- lambda calculus
- concurrent programming
- object oriented
- general purpose
- database languages
- denotational semantics
- strongly typed
- programming environment
- software engineering
- high level
- abstract data types
- semantic data models
- data abstraction
- specification language
- higher order
- high level programming language
- database
- programming paradigms
- object oriented concepts
- object oriented programming
- object oriented databases
- modal logic
- knowledge base