 Loop invariants

Unsigned institutional lecture notes in CS 2112 Fall 2019. No individual author, editor or transcriber is credited, and no publication or revision date is established.

Online text: www.cs.cornell.edu/courses/cs2112/2019fa/lectures/loopinv/

Cited passages: opening definition; Using loop invariants to show code is correct, Establishment, Preservation, Postcondition and Termination; Binary search loop invariant; Debugging and choosing loop invariants.