Design and Analysis of Programming languages

Course Overview and Motivation; A Simple Language of Arithmetic Expressions; A Simple Imperative Language. Operational Semantics; Proof Techniques for Operational Semantics; Intro to Denotational Semantics and Domain Theory; Intro to Axiomatic Semantics; Verification Conditions; Abstract Interpretation Lambda Calculus and Functional Programming; Simply Typed Lambda Calculus;Monomorphic Type Systems; Recursive Types, Subtyping; Polymorphism; Calculi for Concurrency: Pi Calculus; Calculi for Object-Oriented Languages; A Formalization of the Java Virtual Machine;