Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer.
Irene GreifAlbert R. MeyerPublished in: ACM Trans. Program. Lang. Syst. (1981)
Keyphrases
- stable model semantics
- fixpoint semantics
- logic programs
- logic programming
- stable models
- formal semantics
- control flow
- dynamic logic
- declarative semantics
- information systems
- semantic information
- normal logic programs
- semantics of logic programs
- programming language constructs
- deductive databases
- automatic programming