This course is about the formal specification of programming languages, especially in terms of operational semantics and formal type rules.
Course Notes — updated occasionally
| Course Schedule and Homework |
A light homework assignment will follow most lectures, and it is always due at the beginning of the following class, unless otherwise specified. 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 3 homework assignments. Collaborators should submit a single homework solution.
- cs7520@cs.utah.edu
- Students must subscribe to this list. It is used by the teaching staff for class announcements, such as homework clarifications. (Students cannot post to the list.) To sign up for this list, visit http://mailman.cs.utah.edu/mailman/listinfo/cs7520
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.
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: Friday, January 6th, 2006mflatt@cs.utah.edu |