CS100A Lecture 14

10/14/99

Click here to start

Table of Contents

CS100A Lecture 14

Sorting

Inspiration from Example

Algorithm: Selection Sort

Iterative Refinement

Loop Invariant

Loop Invariant, cont.

Loop Invariant, cont.

Refine the Loop Body

Refine One Subpart

Refine Other Subpart

Loop Invariant (for Inner Loop)

Final Function

Rearrange Related Data at Same Time

 Author: Tim Teitelbaum

Download presentation source