Principles of Programming Languages

Catalog description

Introduces the methods of analysis and design of programming languages. Covers syntax, typing schemes and the semantics (denotational and operational) in the context of functional and imperative programming languages. Students build interpreters to explore the implications of the different constructs on computational behavior.