Course

C S 386L (53160): PROGRAMMING LANGUAGES
Fall  2012

Meets	TTH 12:30PM- 2:00PM   RLM 6.118
Instructor	COOK, WILLIAM R
Office	ACE 5.244
Phone	512-471-9555
E-mail	WCOOK@CS.UTEXAS.EDU

Staff

Office Hours:
Thursday 10:30-11:30am
Wednesday 2-3pm
(or by appointment)
Assistant: Alex Loh
Email: alexloh@cs.utexas.edu
Office Hours: Tues, Thurs, Fri at 2-3pm ACES 5SEi3C

Overview

This course is an in-depth investigation of the theory of programming languages. The course covers the fundamental tools used in the analysis and design of programming languages, including semantics, type theory, abstract interpretation, metaprogramming, and partial evaluation. We will also consider their application to imperative, functional, and object-oriented languages. Topics to be covered include:

Semantics: operational, denotational, axiomatic
Lambda calculus and domain theory
Typing safety, subtyping, recursive types, polymorphism
Data abstraction, objects, inheritance, mixins
Additional topics may include concurrent languages, continuations, and metaprogramming

Texts

Types and Programming Languages. Benjamin C. Pierce, The MIT Press, 2002.

ISBN#: 0262162091

Office Hours

Normal office hours are posted on the web site; temporary changes may be announced in class and posted on the web. You may also request an appointment in person, by telephone, or via e-mail. Feel free to send questions via email to the instructor or the TA. We will try to respond to all mail questions within 24 hours, or at most 48. Questions and responses that may benefit the entire class will be posted to the course web site.

Lectures and Reading

See schedule. You are required to do the reading prior to class. Attendance will not count toward your grade.

Homework and Programming Assignments

There will be 5 or 6 homeworks and a few programming assignments

Class Projects

There will be a final project. Students can choose a topic to work on for their project, or do a project suggested by the instructor.

Exams

Books and notes are excluded from tests and examinations.

Grading

The grades will be based on the standard academic scale: A: 90-100; B: 80-89; C: 70-79; D: 60-69; F: 0-59. The boundaries between the grades may be lowered, but will not be increased. Grades will be posted on eGradebook which can be accessed via UT Direct.

	Percentage	Date
Homework and Programs	20%
Midterm	25%	23-Oct-12
Class Project	20%
Final	35%	TBD. Will be held on UT-assigned day during final examination week

Requests for changes in any grades must be submitted in writing within one week after the paper is handed back. Delay in picking up a graded paper does not extend this deadline.

Notice

Any student with a documented disability (physical or cognitive) who requires academic accommodations should contact the Services for Students with Disabilities area of the Office of the Dean of Students at 471-6259 (voice) or 471-4641 (TTY for users who are deaf or hard of hearing) as soon as possible to request an official letter outlining authorized accommodations