CS 15-122: Principles of Imperative Computation
(Summer 2023)

OLI Modules for Lectures 0 and 1

If prompted to authenticate, click on CMU users sign in here and then enter your web login credentials.

  1. Preconditions
  2. Reasoning About Contracts
  3. Postconditions and Testing
  4. Proving Functions Correct
2023 Iliano Cervesato iliano@cmu.edu