I'm now managing a team at nVidia. These pages are old. To contact me, use david@coppit.org, since I check that account more often.

Information | External Material | Project | Homework

Information

Syllabus
Schedule
Paper Summary Template
Bibliography and Coppit's Publications (Contains papers we will read, among others. See the schedule for more information.)

External Material

JML: Homepage
ESC/Java2: Homepage. User's Manual
Alloy: Homepage, Quickstart, Tutorial, Reference Manual
Webpage about software tools at William and Mary.
My code page has a paper template for your proposal and paper. Be sure to see the instructions which include information on how you can avoid installing the support files.

Homework

Back to David Coppit's Homepage.

Last changed October 05 2006 14:20:02. David Coppit, coppit@cs.wm.edu

There have been 1323659 hits since Thu Jun 9 14:49:55 2005