General Notes

Hints

• 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.

Definitions

IMP Program Equivalence

Hoare triples

Decorated programs