Theory and implementation of modern programming
languages. Implementation techniques for traditional block structure
and type systems, abstraction and procedure mechanisms, and storage
management. Denotational semantics and lambda calculus. Functional
programming languages are emphasized; object-oriented programming
languages will also be covered.
Prerequisites: 217
and 226