A Weaker Precondition for Loops
- 1 October 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 4 (4) , 668-677
- https://doi.org/10.1145/69622.357189
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Is Sometimes Ever Better Than Always?ACM Transactions on Programming Languages and Systems, 1979
- Proving termination with multiset orderingsCommunications of the ACM, 1979
- Is “sometime” sometimes better than “always”?Communications of the ACM, 1978