The Expressive Power of Intensional Logic in the Semantics of Programming Languages.
Theo M. V. JanssenPeter van Emde BoasPublished in: MFCS (1977)
Keyphrases
- expressive power
- programming language
- lambda calculus
- database query languages
- logic programming
- denotational semantics
- computational properties
- query language
- first order logic
- predicate calculus
- relational algebra
- data complexity
- query evaluation
- relational calculus
- programming language constructs
- specification language
- object oriented
- database languages
- general purpose
- transitive closure
- aggregate functions
- high level
- classical logic
- deductive databases
- knowledge representation and reasoning
- operational semantics
- nonmonotonic reasoning
- data model
- answer sets
- answer set programming
- complex objects
- monadic second order logic
- recursive queries
- xml data
- nonmonotonic logics
- software engineering