Computer Science | Programming Language Foundations
B522 | 27171 | Sabry


(3 cr.) P: C311 or B521, and B510. Introduction to denotational,
operational, and axiomatic approaches to programming language
semantics. Semantic analysis of major programming language features.
Logics of programs. B522 corresponds to old C616.