Nonstandard Logics of Recursive Programs and Denotational Semantics.
Ana PasztorPublished in: ALP (1988)
Keyphrases
- denotational semantics
- recursive programs
- program synthesis
- programming language
- logic programs
- transformation rules
- expressive power
- query language
- operational semantics
- logic programming
- abstract data types
- inference rules
- background knowledge
- data types
- object oriented
- data model
- multi dimensional
- data driven
- database
- response time
- inductive logic programming
- black box
- database systems
- artificial intelligence
- databases