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.
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.
Articles by others on the same topic
There are currently no matching articles.