The Family of Concurrent Logic Programming Languages.
Ehud ShapiroPublished in: ACM Comput. Surv. (1989)
Keyphrases
- programming language
- concurrent programming
- logic programming
- lambda calculus
- object oriented
- denotational semantics
- software engineering
- database languages
- programming environment
- high level
- general purpose
- strongly typed
- specification language
- operational semantics
- predicate calculus
- functional programming
- databases
- data abstraction
- java language
- integrity constraints
- program code
- programming paradigms
- query language