Review2.v

(** * Review2: Review Session for Second Midterm *)

Require Export Hoare2.

(* ###################################################################### *)
(** * 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 *)








(* $Date: 2013-11-20 13:03:49 -0500 (Wed, 20 Nov 2013) $ *)