Declarative semantics for functional languages: compositional, extensional, and elementary.
Jeremy G. SiekPublished in: CoRR (2017)
Keyphrases
- declarative semantics
- deductive databases
- logic programming
- logic programs
- logic programming language
- partial order
- operational semantics
- expressive power
- fixpoint semantics
- defeasible reasoning
- fixpoint
- database
- query evaluation
- integrity constraints
- machine learning
- temporal logic
- data management
- nonmonotonic reasoning
- stable models
- database systems
- high level