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.

Ancestors (4)

  1. CS 2112 Fall 2019
  2. Computer science bibliography
  3. Computer science
  4. Home

Incoming links (3)

View article source

Discussion (0) New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.
See all articles in the same topic Create my own version