Meeting Time:

MWTh 135-240, Room 166 WVH

News:

Instructor:

Mitchell Wand
326 WVH, 373-2072, Office Hours: Mondays 3:00-5:00
Email: wand@ccs.neu.edu.
WWW: http://www.ccs.neu.edu/home/wand

Grader:

That would be me.

Goals and Themes:

To learn the fundamentals of semantics of programming languages. We will build on the operational semantics from CSG711 to learn about denotational semantics and about some of the theory of the lambda calculus.

Prerequisites:

CSG 711, Principles of Programming Languages (Intensive) or CSG 111, Principles of Programming Languages, or equivalent.

Requirements:

There will be some problem sets. Most likely there will be a larger "term-paper"-sized final project as there was last time (in 2005, go ask someone about it). There may be some student presentations. I haven't entirely figured this out yet. It will depend in part on the size of the class. I don't intend to give a final exam.

Communications

Bookmark this page as http://www.ccs.neu.edu/course/csg264 .

The mailing list for the class is csg264@lists.ccs.neu.edu Everyone should subscribe to this mailing list by completing the form at https://lists.ccs.neu.edu/bin/listinfo/csg264. The list consists of the class members and me and is available for you to communicate with the class. Mail to this list is archived (or it will be, as soon as we have some messages in the archive). When you write either to me or to the list, it is helpful if you use descriptive subject lines.

Last modified: Wed Aug 30 11:45:18 EDT 2006