SF

LRSM AUD (Tues) and Levine 101 (Thus)

10:30AM-noon

Instructor
Stephanie Weirich
sweirich_NOSPAM AT cis.upenn.edu
Office hours: TBA
Teaching Assistants
Arthur Azevedo de Amorim
aarthur_NOSPAM AT seas.upenn.edu
Office hours: TBA
Justin Chiu
justc_NOSPAM AT seas.upenn.edu
Office hours: TBA

Text

The main text for the course is the online book Software Foundations. A good supplemental text is Types and Programming Languages. Recommendations for some other useful books can be found in the Postscript chapter of Software Foundations.

Discussion Forum

We will use Piazza for both announcements and discussions. Please register yourself there to make sure you keep up with what's happening.

Homework submission

Homework can be submitted via Canvas. If you are taking the course but cannot access the CIS 500 Canvas pages, please contact one of the TAs.

When submitting Coq files as homeworks, make sure that Coq accepts your file in its entirety. If it does not, it will not be graded. You can use Admitted to force Coq to accept incomplete proofs.

Homework is due at 8:00PM on the date specified. Late homework submissions will be accepted for up to three days, with a 25% reduction in credit per late day (25% for one day, 50% for two, and 75% for three). Solutions will be posted on Canvas.

Tentative Schedule

The following links provide HTML and Coq .v files for the lecture material in the course. However, these materials will be updated throughout the semester, so please be sure that you use the most recent version of the files, especially for homework.

Date Topic Notes Homework
08/28 Introduction, functional programming
09/02*
09/04*
09/09
09/11
09/16
09/18
09/23
09/25
09/30
10/02*
10/07
10/09 Fall Break - no class
10/14
10/16
10/21
10/23
10/28
10/30
11/04
11/06
11/11
11/13
11/18
11/20
11/25
11/27 Thanksgiving Break - no class
12/02
12/04
12/09 Course wrap-up
TBA Final exam
* indicates a date when Dr. Weirich will be absent.
Last modified: Fri Aug 22 11:24:16 EDT 2014