Advanced Programming Languages. 3 credits, 3 contact hours

Catalog description

Prerequisites: While the course has no formal prerequisites, students should be comfortable with proofs by induction and motivated to learn the mathematical machinery behind basic concepts in programming languages. A course on techniques for viewing programs and programming languages as formal, mathematical objects. Students will learn how to rigorously define program semantics. The course covers essential formalisms including lambda calculus, type systems, and abstract interpretation for specifying, reasoning about, and verifying correctness properties. Applications include ensuring safe memory access, concurrent program correctness, and software security guarantees.