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

Manifest: Tuesday 10 April 2001

Assignments
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

Readings
No new readings.

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

Questions

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
evans@cs.virginia.edu