Another characterization of weakest preconditions
- 1 January 1982
- book chapter
- Published by Springer Nature
- 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 nondeterminismPublished by Springer Nature ,1980
- A relational model for non-deterministic programs and predicate transformersPublished by Springer Nature ,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 terminationPublished by Springer Nature ,1976
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975