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
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
This page has been automatically generated by the
. Copyright Robert van Engelen