Skip to main content


eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item:
Title: A Note on the Standard Strategy for Developing Loop Invariants and Loops
Authors: Gries, David
Keywords: computer science
technical report
Issue Date: Oct-1982
Publisher: Cornell University
Abstract: The by-now-standard strategy for developing a loop invariant and loop was developed in [1] and explained [2]. Nevertheless, its use still poses problems for some. The purpose of this note is to provide further explanation. Two problems are solved that, without this further explanation, seem difficult.
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
82-531.pdf559.12 kBAdobe PDFView/Open
82-531.ps170.16 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.


© 2014 Cornell University Library Contact Us