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:
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:
Encode English descriptions into Coq functions or Inductives.Examples:
(Extending) IMP Operational Semantics.Examples:
IMP program equivalence.Examples:
Hoare Triples - Decorating Programs.Examples: