Review2Review Session for Second Midterm

General Notes


  • On each version of the exam, there will be at least one problem taken more or less verbatim from a homework assignment.
  • Both versions will include one or more decorated programs.
  • On the advanced version, there will be an informal proof.
  • This set of review questions is biased toward ones that can be discussed in class / using clickers, so it doesn't fully represent the range of questions that might show up on the exam.
    Make sure to have a look at some prior exams to get a sense of some other sorts of questions you might see.


IMP Program Equivalence

Hoare triples

Decorated programs