I. Introduction A. Who B. the big picture type systems (course spec) ------------------------------------------ informal formal language design <-> semantics ^ ^ | | v v examples soundness (ease of use) compositionality (other principles) ------------------------------------------ C. focus on types (static type system) 1. Why it's exciting 2. denotational semantics 3. applications and projects D. Plan of course (syllabus) Would you make any changes to the plan? E. Objectives 1. meta What kind of questions should you be asking? 2. normal F. How I'll run the course 1. overview 2. red tape everyone have all the handouts? G. summary any other questions about the course? II. Semantics Overview A. Semantic description techniques what does a denotational semantics tell you about a statement? an operational semantics? an axiomatic semantics? --------------------- { x >= 3 } x := x + 1 { x > 3 } --------------------- B. remark about models, presentations, and theories What's the theory that a denotational semantics constructs a model for?