C S 386L : PROGRAMMING LANGUAGES

Spring  2014

 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.