Course

C S 386L (53994): PROGRAMMING LANGUAGES
Spring 2014

Meets

MW 9:30 – 11:00 in SAC 5.102

Instructor

COOK, WILLIAM R

Office

GDC 5.824

Phone

512-471-9555

E-mail

WCOOK@CS.UTEXAS.EDU

Staff

Office Hours:
Tuesday 11-12am
Wednesday 1-2pm
(or by appointment)

Assistant: Alex Loh
Email: alexloh@cs.utexas.edu

Office Hours: Tues and Fri 4-5pm at GDC 5.818C

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%

03/19/14

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