CSC 530, Spring 2001, Gene Fisher

CSC 530, Spring 2002
Gene Fisher

General Index:

lectures -- lecture notes, as presented in class

handouts -- various informational handouts, distributed in class

assignments -- assignment writeups and supporting files

examples -- project examples, excerpts handed out in class

doc -- documentation for languages and tools

solutions -- solutions to assignments

bin -- directory of executable tools (Sparc executables)

Index by Week:

Weeks 1 and 2:

course syllabus -- introductory description of the course
readings -- table of contents for the course readings
assignment 0 -- lisp warm-up exercises
assignment 1 -- operational semantics of lisp
lecture notes week 1 -- introduction to the course; introduction to lisp
lecture notes week 2 -- discussion of assignment 1; topics from the lisp primer; topics from part 1 of the readings
lisp-primer -- a lisp primer for C and Java programmers
course readings -- table of contents for the course readings

Week 3:

assignment 2 -- adding type checking to the basic lisp interpreter of assignment 1
lecture notes week 3 -- a brief review of lambda calculus; introduction to programming language type systems
lecture notes week 3, part 2 -- discussion of assignments 1 and 2; more on type theory

Week 4:

lecture notes week 4 -- introduction to the formal semantics of programming languages; introduction to attribute grammars

Week 5:

lecture notes week 5 -- more on formal semantics with attribute grammars to attribute grammars

Week 6:

Assignment 3 (pdf only) -- formal semantics problem set
Lecture Notes Week 6 (pdf only) -- discussion of assignment 3, questions 1 and 2; introduction to denotational semantics

Week 7:
Lecture Notes Week 7 (pdf only) -- more on tennent-style denotational semantics semantics

Week 8 :

Assignment 4 -- adding advanced features to the lisp interpreter
Week 8, beginning of Week 9 (pdf only) -- wrap up of denotational semantics; introduction to axiomatic semantics semantics

Week 10 :

Lecture Notes Week 10 (start at end of Week 9) -- algebraic semantics

Document File Formats

Data files are available in the following formats:

HTML, suitable for viewing with a WWW browser (such as Netscape or Internet Explorer); these files have a ".html" extension.

PostScript, suitable for viewing on a workstation previewer (such as ghostview) or printing on a PostScript printer; all paper notes and handouts distributed in class are printed from the online PostScript files; these files have a ".ps" extension.

PDF, suitable for viewing with Adobe Acrobat Reader; these files have a ".pdf" extension.

Plain ASCII text, suitable for viewing on a plain ASCII terminal or with a plain text editor (such as emacs or vi ); note that plain text files do not contain figures that require graphic display; plain text files have a ".txt" extension.

Troff -me format, generally unsuitable for human use; the troff files are used to generate PostScript, PDF, HTML, and ASCII text files from a common source; the troff files have a ".me" extension. (Document preparation with Emacs and Troff is bizarre, but extraordinarily powerful.)

Most file links in an HTML document, point to other HTML files. To access the PostScript, PDF, or plain text version of a document, go to the desired directory and view the desired file with the ".ps", ".pdf", or ".txt" extension.