Subject
ECS 240
Title
Programming Languages
Status
Active
Units
4.0
Effective Term
2016 Spring Quarter
Learning Activities
Lecture - 3.0 hours
Discussion - 1.0 hours
Discussion - 1.0 hours
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.
Prerequisites
ECS 140A; ECS 142
Enrollment Restrictions
Pass One and Pass Two open to Graduate Students in Computer Science only.