COP5025: Programming Language Foundations

Welcome to the COP5025 Spring 2000 home page!

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 here . The tentative schedule lists the lecture and exam dates. You can also browse the lecture notes from the schedule pages.

You can download the Postscript lecture notes here .


An electronic registry 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 2000/12/20 10:12am

This page has been automatically generated by the Ctadel system on 2000/12/20 10:12am . Copyright Robert van Engelen