COP5025: Programming Language Foundations
Welcome to the
From this site you can access all the information related to this course.
In the COP5025-1 course on Programming Language Foundations the main subject of study are programming languages. 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, static semantics, 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 textbook 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 browse the lecture notes from the schedule pages.
You can download the Postscript lecture notes
is provided to allow the creation of
private student pages
containing grades and other personal information that will be kept private by password protection. It is strongly encouraged to register electronically, so the instructor can post the grades on your private page and reach you by e-mail.
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