SEMANTIC MODELS FOR PROGRAMMING LANGUAGES SYLLABUS Gary T. Leavens, Department of Computer Science, Iowa State University, Ames, Iowa 50011-1040 USA leavens@cs.iastate.edu $Date: 2000/04/27 20:32:42 $ This syllabus tells when we plan to discuss the various topics. The ``when'' is specified below by class meeting numbers (a count of the ``lectures,'' which are 50 minutes each, three times a week). The readings marked ``TO'' are from ``A Theory of Objects'' by Martin Abadi and Luca Cardelli (Springer-Verlag, 1996). The following will be changed as experience dictates. Essential Meetings Topic Readings Other Readings ----------------------------------------------------------------------- 1 Introduction (Handouts) TO Preface, Prologue 2-6 Operational semantics Astesiano art. Hennessy on reserve and lambda calculus 7-10 Untyped Calculi TO 6 TO 1-2.3, 4, 5 11-25 First-order Calculi TO 7 TO 2.4-2.5, 3.1-3.2 26-27 Generic Function Languages (Handouts) 28-34 Subtyping TO 8 TO 2.4-2.8, 3.2, 3.4 35-39 Untyped Imperative Calculi TO 10 40-41 First-order Imperative Calculi TO 11 42-44 Second-order Calculi TO 13 45 Course Evaluation & Summary ------------------------------------------------------------------------ The following table relates the meeting numbers to the calendar. Meeting Date Comment ------------------------------------------------ 1-2 January 11, 2000 3 January 13, 2000 January 14, 2000 free drop deadline 4-5 January 18, 2000 no class (POPL) 6 January 20, 2000 no class (POPL) 10-11 February 1, 2000 15 February 10, 2000 no class (ICSE PC) 24 March 2, 2000 27 March 9, 2000 last meeting before Spring break 28-29 March 21, 2000 first meeting after Spring break 34 April 4, 2000 45 April 27, 2000 last meeting before exams May 1-5, 2000 oral exams