Programming Language Concepts.

Catalog description

A survey of the design and implementation of programming languages: grammars, parsing, and abstract syntax; compilers, interpreters, and other language systems; type-checking and other static analyses; formal semantic specifications; implementation of imperative, functional, and object-oriented language features; type-soundness proofs; tail form and continuation passing style. Course is offered occasionally. Prerequisite: CSCI 335 and CSCI 351 .