COP5025: Programming Language Foundations
Welcome to the
COP5025
Spring 2000
home page!
http://www.cs.fsu.edu/~engelen/courses/COP5025
From this site you can access all the information related to this course.
Introduction
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.
Information
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
.
Registering
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.
Demos
On-line demonstrations are available:
Reminder
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