CS471 Programming Language Structure I
Spring 2003

This page will contain links to assignments and other relevant information concerning the course. You should visit here regularly to get this information.

Instructor: Roger Hartley, SH123

When and where: MWF 10:30-11:20 in SH115

Office hours: by appointment only

The textbook for the course is "Concepts of Programming Languages" (5th. edition) by Robert Sebesta, published by Addison Wesley.

This semester there will be assignments centered around the idea of providing the semantics of a language through another computer language. This is essentially a job of defining a virtual machine for the language in terms of the constructs of another language and then providing a definition of the language as an interpreter. Thus the semantics of language S are displayed using an interpreter for S written in a language T. Hopefully T is a "simpler" language than S, although this usually means a low-level language, such as an assembler, and interpreters then become very difficult to write correctly. Instead we will use the language RIGAL (see links below) that provides nice facilities for analyzing trees and lists while having a straightforward set of commands and control structures.

Assignments

1. The Origins of Pascal

2. Practice with Rigal

3. An Interpreter with Type Checking (Sample Answer)

4. Denotational Semantics of Scope Resolution (Sample Answer)

5. O-O methods in C++

Exams

Midterm

Final

Review your grades so far with the gradechecker.

You can view the materials for previous semesters by following the links below.

• Fall 02
• Spring 02
• Fall 01
• Spring 01
• Fall 00
• Spring 00
• Spring 99
• Fall 98
• Fall 97
• Fall 96
• Spring 96

Reference documents you might want to look at are:

• The Syllabus
• The Syntax Module (A Self-Test with Answers accompanies it)
• Topic lists for the first test
• Topics lists for the final exam.
• Examples questions for the first test
• First test given in Fall 98
• First test given in Spring 01, with sample answers
• Take-home final given in Fall 00, with sample answers.
• Activation records in static scoping
• Operational semantics
• Axiomatic semantics
• Denotational semantics
• Rigal Man Page
• Notes on using Rigal
• RIGAL language description and A RIGAL presentation
• A RIGAL interpreter for a simple language
• A RIGAL interpreter for a language with declarations
• Notes on the Lambda Calculus
• Scheme-- in Scheme - a simple interpreter and Two ways to handle recursion
• A Gentle Introduction to ML
• The latest ML documentation
• A C++ Concept Map
• How Prolog Can Do Arithmetic
• What is Postscript?
• The Scheme Report
• Parsing Techniques - A Practical Guide (Title page)
• The Evolution of Programming Languages