University of Virginia, Department of Computer Science
CS655: Programming Languages, Spring 2001

Manifest: Tuesday 10 April 2001

By midnight todayProgress Email on your project - send me an update describing the progress you have made on your project, any substantial changes to your project goals and plan, and any issues you need resolve. You should make sure to meet with me if there are major problems or issues to resolve with your project.
Thursday, 19 April (in class)Problem Set 4
24-26 AprilProject Presentations
Tuesday, 1 MayProject Report

No new readings.

Cedilla Systems Incorporated
Peter Lee's Proof-Carrying Code page
George Necula's Programming Languages Course
Princeton Proof-Carrying Code Project


A program without a loop and a structured variable isn't worth writing.

Alan Perlis

CS 655 University of Virginia
Department of Computer Science
CS 655: Programming Languages
David Evans