Theory of Programming Languages

Catalog description

The objective of this course is to provide a better understanding of programming languages and their design. Various concepts and principles underlying the design and use of modern programming languages are considered, mainly: syntax, semantics, type systems, runtime environment. Students take a pragmatic approach to this course which ties in the theory and real-world implications in some selected programming languages. The course has a substantial theoretical component which is supported by programming assignments and projects.