= Loop invariants
{c}
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: https://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.
Back to article page
