Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness II.
Jean H. GallierPublished in: Theor. Comput. Sci. (1981)
Keyphrases
- recursive programs
- transformation rules
- provably correct
- fixpoint semantics
- formal semantics
- datalog programs
- dynamic logic
- stable models
- stable model semantics
- semantic information
- control flow
- declarative semantics
- probabilistic logic programs
- database languages
- nonmonotonic logics
- correctness criterion
- language constructs
- recursive queries
- natural language
- speech acts
- default theories
- finite state
- markov chain