Mathematical theory of partial correctness
- 30 June 1971
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 5 (3) , 239-253
- https://doi.org/10.1016/s0022-0000(71)80035-1
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Formalization of Properties of Functional ProgramsJournal of the ACM, 1970
- The correctness of nondeterministic programsArtificial Intelligence, 1970
- The correctness of programsJournal of Computer and System Sciences, 1969
- Nondeterministic AlgorithmsJournal of the ACM, 1967
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967