Course: COMP 630. Formal Semantics of Programming Languages (3)
Prerequisites: COMP 310, COMP 380/L. Rigorous verification and formal proofs of correctness. Denotational semantics, models of axiomatic systems and fixpoint theory of computation. Soundness and completeness of programming logics. Abstract data types and other issues in the formal definition of programming languages.