Formal definitions and theory of programming languages. Specifying, verifying and reasoning about programs. Study of language processors (interpreters, type-checkers, translators) in a formal framework. Prereq: CMPS 450 or consent of instructor.