Some Properties of Predicate Transformers
- 1 July 1978
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 25 (3), 461-480
- https://doi.org/10.1145/322077.322088
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Is “sometime” sometimes better than “always”?Communications of the ACM, 1978
- 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
- Nondeterministic AlgorithmsJournal of the ACM, 1967