CSCI-740
Programming Language Theory
Term 20131



General Information

Instructor: Matthew Fluet
E-mail:  mtf at cs.rit.edu
Office hours:Mo 10:00am – 11:00am; GOL-3555
 Tu 10:00am – 12:00pm; GOL-3555
 We 10:00am – 11:00am; GOL-3555
 or by appointment
  
Lectures: Section 01    MoWeFr 1:00pm – 1:50pm; GOL-1435
  
Website: http://www.cs.rit.edu/~mtf/teaching/20131/plt
 http://mycourses.rit.edu

Course Description

This course is an introduction to the formal study of programming languages, demonstrating important intellectual tools for the precise description of programming languages and investigating the essential features of programming languages using these tools. Topics include: dynamic semantics (such as operational semantics); static semantics (such as type systems); proofs by induction on structures and derivations; formal treatment of essential programming-language features (such as assignment, scope, functions, objects, and threads). Both written and programming assignments will be required.


Last modified: Fri Oct 4 12:18:41 EDT 2013