2 Midterm

The midterm will be held on October 29th. It’s going to be a 48-hour take home exam, but it will be created to take roughly 1.5 hours (e.g. during the scheduled lecture time).

For the upcoming midterm, a good source of practice material is UPenn’s software foundations course:

CIS 500

There will be five kinds of problems:

• Given a Coq type, write a Coq expression that has that type or "Empty" if there are no such expressions.

  Examples:

  • Exercise 2, UMD CMSC 631 Fall 2019

  • Exercise 3, Penn CIS 500 2016

• Encode English descriptions into Coq functions or Inductives.

  Examples:

  • Exercise 4, UMD CMSC 631, Fall 2019

  • Exercise 5, Penn CIS 500, Fall 2016, Midterm 1

• (Extending) IMP Operational Semantics.

  Examples:

  • Exercise 5, UMD CMSC 631, Fall 2019

  • Exercise 5, Penn CIS 500, 2013, Midterm 2

• IMP program equivalence.

  Examples:

  • Exercise 2, Penn CIS 500, Spring 2016, Midterm 2

• Hoare Triples - Decorating Programs.

  Examples:

  • Exerise 4, Penn CIS 500, Fall 2013, Midterm 2