C S 386L (53160): PROGRAMMING LANGUAGES

Fall  2012

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.

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