Formal, functional, and practical issues of design and implementation of imperative, functional, and declarative languages; denotational semantics; data types and abstraction, control abstraction, separate compilation units, concurrency.
Prereq: CMPS 341 and CMPS 351 both with a grade of “C” or better