CS 6520: Programming Languages and Semantics
Spring 2000TTh 12:25-1:45, EMCB 112
Instructor: Matthew FlattOffice Hours: TTh 2:00-3:00, MEB 4546


This course is about the formal specification and analysis of programming languages.

For a more detailed list of topics covered by the course, see the (evolving) course schedule.

Textbook and Notes

There will be no required text for the course. We will use lecture notes, monographs, and papers, with online material provided whenever possible. Material for each lecture will be provided on the course schedule page.

Grading

There will be one mid-term exam and a final exam, but final grades will be determined primarily by homework: 60% homework, 20% mid-term, 20% final.

Homework

A homework assignment will follow most classes, and it is always due at the beginning of the following class, unless otherwise specified. (Homework assigned on Tuesdays will be fairly light.) Homework assignments are posted with the course schedule.

Participants can - and should - work on homework in pairs, with the proviso that no pair of students can collaborate on more than 4 homework assignments. Collaborators should submit a single homework solution.

Mailing List

Class announcements will be sent to cs6520@cs.utah.edu. To sign up for this mailing list, send mail to majordomo@cs.utah.edu containing
   subscribe cs6520
in the message body (the subject line is ignored).


The University of Utah conforms to all standards of the Americans with Disabilities Act (ADA). If you wish to qualify for exemptions under this act, notify the Center for Disabled Students Services, 160 Union.


Last update: Wednesday, January 12th, 2000
mflatt@cs.utah.edu