Another characterization of weakest preconditions
- 1 January 1982
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 164-177
- https://doi.org/10.1007/3-540-11494-7_12
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Semantics of unbounded nondeterminismLecture Notes in Computer Science, 1980
- A relational model for non-deterministic programs and predicate transformersLecture Notes in Computer Science, 1980
- Some Properties of Predicate TransformersJournal of the ACM, 1978
- A characterization of weakest preconditionsJournal of Computer and System Sciences, 1977
- DIJKSTRA's predicate transformer, non-determinism, recursion, and terminationLecture Notes in Computer Science, 1976
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975