Algorithms and OOD (CSC 207 2014S) : Outlines

Outline 20: Reasoning About Loops with Loop Invariants

Held: Friday, 21 February 2014

Back to Outline 19 - Linear and Binary Search. On to Outline 21 - Exam 1 Discussion.


We consider loop invariants, a technique for designing iterative algorithms that helps increase the likelihood of writing correct algorithms.

Related Pages



Copyright (c) 2013-14 Samuel A. Rebelsky.

Creative Commons License

This work is licensed under a Creative Commons Attribution 3.0 Unported License. To view a copy of this license, visit or send a letter to Creative Commons, 543 Howard Street, 5th Floor, San Francisco, California, 94105, USA.