CS 15-122: Principles of Imperative Computation
(Fall 2022)

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
2022 Iliano Cervesato iliano@cmu.edu