Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness I.
Jean H. GallierPublished in: Theor. Comput. Sci. (1981)
Keyphrases
- fixpoint semantics
- provably correct
- recursive programs
- control flow
- transformation rules
- datalog programs
- logic programming
- formal semantics
- dynamic logic
- stable models
- declarative semantics
- computer programs
- stable model semantics
- model theoretic
- deductive databases
- neural network
- normal logic programs
- recursive algorithm
- logic programs
- operational semantics
- recursive queries
- database
- fixpoint
- default reasoning
- finite state
- correctness criterion
- description logics
- semantic information
- data sets