These pages are retired. Please look at the Spring 2000 course.

COP5025-1: Programming Language Foundations Spring 1999

In the COP5025-1 course on Programming Language Foundations the main subject of study are programming languages. However, the course does not attempt to teach any one programming language, but rather introduces advanced techniques to describe and analyze them accurately. Among the topics covered are: grammars and syntax, lambda calculus, denotational semantics, and axiomatic semantics.

The main textbook on this course is The Study of Programming Languages by Ryan Stansifer.

Exercises from the book will be assigned as homework on a regular basis. The assignments are intended for learning purposes and as preparation for the tests.

General information on the material, attendance, grading, etc. can be found here . The tentative schedule lists the lecture and exam dates. You can also download the lecture notes.

On-line demonstrations are available:

The course web pages will be updated on a regular basis, so check them out at least once every week. You may need to clear Netscape's cache or press the [Reload] button. The last update was on 1999/4/15 8:06am

This page has been automatically generated by the Ctadel system on 1999/4/15 8:06am . Copyright Robert van Engelen