Floyd-Hoare logic in iteration theories
- 1 October 1991
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 38 (4) , 887-934
- https://doi.org/10.1145/115234.115352
Abstract
No abstract availableThis publication has 28 references indexed in Scilit:
- A Cayley Theorem for Boolean AlgebrasThe American Mathematical Monthly, 1990
- A note on guarded theoriesTheoretical Computer Science, 1990
- Equational logic of circular data type specificationTheoretical Computer Science, 1989
- On flowchart theories Part I. The deterministic caseJournal of Computer and System Sciences, 1987
- Laws of programmingCommunications of the ACM, 1987
- Axiomatizing schemes and their behaviorsJournal of Computer and System Sciences, 1985
- On the notion of expressiveness and the rule of adaptationTheoretical Computer Science, 1983
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- A New Incompleteness Result for Hoare's SystemJournal of the ACM, 1978
- An axiomatic basis for computer programmingCommunications of the ACM, 1969