A note on a standard strategy for developing loop invariants and loops
- 1 December 1982
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 2 (3) , 207-214
- https://doi.org/10.1016/0167-6423(83)90015-1
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Some beautiful arguments using mathematical inductionActa Informatica, 1980
- A Technique of Algorithm Construction on SequencesIEEE Transactions on Software Engineering, 1978