COMPSCI 3MI3 — Principles of Programming Languages
Principles of definition of and reasoning about programming languages and domain-specific languages; use of semantics for interpretation and in program analyses for correctness, security and efficienc
Terms offered: Fall