Semantics and Correctness of Nondeterministic Flowchart Programs with Recursive Procedures.
Jean H. GallierPublished in: ICALP (1978)
Keyphrases
- recursive programs
- transformation rules
- stable model semantics
- logic programs
- logic programming
- dynamic logic
- provably correct
- formal semantics
- fixpoint semantics
- answer set programming
- correctness criterion
- programming language constructs
- control flow
- stable models
- semantic information
- normal logic programs
- database languages
- nonmonotonic logics
- recursive algorithm
- answer sets
- programming language
- datalog programs
- modal operators
- program synthesis
- fixpoint
- wordnet
- semantics for logic programs