On the expressive power of temporal concurrent constraint programming languages.
Mogens NielsenCatuscia PalamidessiFrank D. ValenciaPublished in: PPDP (2002)
Keyphrases
- expressive power
- programming language
- query language
- object oriented
- concurrent programming
- denotational semantics
- general purpose
- first order logic
- software engineering
- strongly typed
- lambda calculus
- database languages
- spatio temporal
- transitive closure
- logic programming
- high level
- relational algebra
- database query languages
- relational calculus
- recursive queries
- temporal reasoning
- data model
- functional programming
- aggregate functions
- databases
- programming language constructs