CS 611: Semantics of Programming LanguagesCS 611: Semantics of Programming Languages| Date | Scribe | Title | Links |
| Friday, Aug. 28. | none | Overview of course (dvi file.) | |
| Monday, Aug. 31. | Ed Mosteig | Introduction to SML | notes1.tex notes1.dvi (see also Harper's Introduction to SML) |
| Wednesday, Sept. 2. | Ed Mosteig Ken Hopkinson |
An Introduction to Operational Semantics | notes2.tex notes2.dvi |
| Friday, Sept. 4. | Fabio Pellecini Yooki Park |
CS 611 -- Lesson 4 | html doc ps |
| Monday, Sept. 7. | Matt Fleming Rimon Barr |
IMP++ | tex dvi ps |
| Wednesday, Sept. 9. | Indranil Gupta | Small Step Semantics | tex dvi |
| Friday, Sept. 11. | Lentian Zheng | Induction | doc ps |
| Monday, Sept. 14. | Matthew Harris Vetsikas A. Ioannis |
An Introduction to Denotational Semantics | dvi ps |
| Wednesday, Sept. 16. | Tim Roughgarden David Kempe |
The Denotational Semantics of the While Construct | tex dvi ps |
| Friday, Sept. 18. | Benjamin Atkin Adrian Bozdog |
Equivalence Between Operational and Denotational Semantics | tex dvi |
| Monday, Sept. 21. | Adrian Bozdog | Different Encodings of Denotational Semantics | tex dvi ps |
| Wednesday, Sept. 23. | Rimon Barr David Kemp |
The Operators Corresponding to IMP | tex dvi ps |
| Friday, Sept. 25. | Wei Wei | Introduction to Axiomatic Semantics | tex dvi ps |
| Monday, Sept. 28. | Kevin Hamlen | Applying Axiomatic Semantics: An Introduction to Proof-Carrying Code | tex dvi ps pdf |
| Wednesday, Sept. 30. | Joseph Miller | The Soundness of the Hoare Rules | tex dvi ps |
| Friday, Oct. 2. | Lantian Zheng | The Soundness of the Hoare Rules (continued) | tex dvi ps |
| Monday, Oct. 5. | Joseph de Candia | Relative Completeness of the Hoare Rules | doc html |
| Wednesday, Oct. 7. | James Cheney | Untyped Lambda-Calculus | tex dvi ps |
| Friday, Oct. 9. | Matthew Harris | An Introduction to the Lambda-Calculus (continued) | dvi ps |
| Monday, Oct. 12. | none | Midterm recess | |
| Wednesday, Oct. 14. | Indranil Gupta | Scope and alpha-Equivalence | tex dvi ps |
| Friday, Oct. 16. | Benjamin Atkin | The Science of Programming | tex dvi ps |
| Monday, Oct. 19. | none | in class Prelim | |
| Wednesday, Oct. 21. | Wei Wei | The Simply-Typed Lambda Calculus | tex dvi ps |
| Friday, Oct. 23. | Christian Estan Alin Dobra |
Typed Lambda Calculus (continued) | tex ps |
| Monday, Oct. 26. | Rie Ando Ken Hopkinson |
Termination of the Simply-Typed Lambda Calculus | ps rtf |
| Wednesday, Oct. 28. | Parag Tole | Denotational Semantics of the Simply-Typed Lambda Calculus | tex ps |
| Friday, Oct. 30. | Parag Tole | Soundness of the Denotational Semantics (Part I) | tex ps |
| Monday, Nov. 2. | Christian Estan Alin Dobra |
Adequacy in Typed Lambda Calculus | tex ps |
| Wednesday, Nov. 4. | Alexandre Evfimievski | Definition of a Model for the Simply-Typed Lambda Calculus | tex dvi ps |
| Friday, Nov. 6. | Ioannis Vetsikas Fabio Pellecini |
Type Frames (Continued) | doc html ps |
| Monday, Nov. 9. | Matthew Harris | A Term Model for our Equational Theory (draft) | dvi ps |
| Wednesday, Nov. 11. | Parag Tole | Confluence of SimplyTyped Lambda Calculus & The Curry-Howard Isomorphism |
tex ps |
| Friday, Nov. 13. | Ed Mosteig | Adding Fix to Lambda^rightarrow | tex dvi ps |
| Monday, Nov. 16. | David Kempe Rie Ando |
The Static and Denotational Semantics of PCF | tex dvi ps |
| Wednesday, Nov. 18. | Alexandre Evfimievski | Developing Denotational Semantics for the Extended Lambda Calculus; Bug Correction | tex dvi ps |
| Friday, Nov. 20. | Tim Roughgarden | Debugging Denotational Semantics and an Introduction to Polymorphism | tex dvi ps |
| Monday, Nov. 23. | James Cheney | More Polymorphic Lambda Calculus | tex dvi ps |
| Wednesday, Nov. 25. | Benjamin Atkin Adrian Bozdog |
Denotational Semantics of Polymorphism / ML Type Inference | tex dvi ps |
| Friday, Nov. 27. | none | Thanksgiving recess | |
| Monday, Nov. 30. | Matt Fleming | ||
| Wednesday, Dec. 2. | Alexei Kopylov | Continuations (Continued) | tex dvi ps |
| Friday, Dec. 4. | Alexei Kopylov | References, Records and Subtyping | ps |
18 Jun 1999