This course is a general introduction to programming languages. Topics include an overview of programming languages and language design objectives, specification of syntax and semantics, virtual machines and language translation, lambda calculus and theoretical fundamentals, program correctness and reasoning about programs, programming language constructs, declarations and types, abstraction mechanisms, and programming paradigms. An interpreter-based approach is used to describe the semantics of language constructs. Assignments include case studies and laboratory work.
- Instructor: David Casperson