Instructor

Craig A. Rich
Office: Bldg. 8, Room 40
Office Hours: Mon, Wed 9:00-10:30; Fri 9:30-10:30
Phone: (909) 869-3447
Electronic Mail: carich@csupomona.edu

Time: Tue, Thu 4:00-5:50
Place: Bldg. 8, Room 345

Rich, Craig A. Programming Language Semantics--CS 541 Lecture Notes, Fall 1999 (Available at Bronco Copy 'n Mail in the University Union).

my home page:		http://www.csupomona.edu/~carich/
CS 541 home page:		http://www.csupomona.edu/~carich/classes/cs541/

Exams			70%
Midterm (Thursday, October 28)		35%
Final (Tuesday, December 7, 3:50-5:50 p.m.)		35%
Homework and Quizzes			30%

Graded assignments will be accepted without penalty at any time on or before their due date. Graded assignments which are submitted after their due date will have their score reduced by 5(n+1)%, where n is the number of school days properly between the due date and the date submitted.

The course will introduce operational semantics and will cover denotational and axiomatic semantics in detail. A comprehensive set of lecture notes will be distributed in class. The notes covering denotational semantics are derived primarily from:

Mosses, Peter D. "Denotational Semantics," Chapter 11, in Van Leeuwen, Jan, ed., Handbook of Theoretical Computer Science, Vol. B, North-Holland, Amsterdam, 1990.

Gunter, C.A.; and Scott, Dana S. "Semantic Domains," Chapter 12, in Van Leeuwen, Jan, ed., Handbook of Theoretical Computer Science, Vol. B, North-Holland, Amsterdam, 1990.

The notes covering axiomatic semantics are derived primarily from:

Alagic, Suad; and Arbib, Michael A. The design of well-structured and correct programs, Springer-Verlag, New York, 1978.