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.

Summary

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

Related Pages

Overview

Administrivia

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 http://creativecommons.org/licenses/by/3.0/ or send a letter to Creative Commons, 543 Howard Street, 5th Floor, San Francisco, California, 94105, USA.