Computer Science and EngineeringCSE 210B Advanced Programming Languages

Covers issues in the design, implementation, analysis, and specification of programming languages. Topics include formal semantics (including operational, axiomatic, and denotational semantics), advanced type systems, program analysis (including abstract interpretation and model checking), specification, and verification. (Formerly Computer Science 253.)

Requirements

Prerequisite(s): CSE 210A or equivalent.

Credits

5

Quarter offered

Winter, Spring

Instructor

C. Flanagan, O. Arden