Semantics, Orderings and Recursion in the Weakest Precondition Calculus.
Marcello M. BonsangueJoost N. KokPublished in: REX Workshop (1992)
Keyphrases
- algebraic structure
- database query languages
- formal language
- formal semantics
- complex objects
- process algebra
- logic programming
- deductive databases
- relational calculus
- term rewriting
- database systems
- predicate calculus
- model theoretic
- operational semantics
- control flow
- transitive closure
- conceptual graphs
- model checking
- logic programs
- relational databases
- natural language