— Programming Languages

Prerequisites & course information

Course Description: Advanced topics in programming languages, including formal syntax and semantics, the relation between formal semantics and verification, an introduction to the lambda calculus. Additional topics will include language design principles, alternative programming languages, in-depth semantic theory and models of language implementation. Learning Activities: Lecture 3 hour(s), Discussion 1 hour(s). Enrollment Restriction(s): Pass One open to Ph.D. students in Computer Science only and Pass Two open to graduate students in Computer Science only. Grade Mode: Letter. Learning Activities: Lecture 3 hour(s), Discussion 1 hour(s). Enrollment Restriction(s): Pass One open to Ph.D. students in Computer Science only and Pass Two open to graduate students in Computer Science only. Grade Mode: Letter.