© cs.lth.se 2009. Maintained by
Lennart Andersson
Modified: Monday, 14-Feb-2011 12:20:57 CET
Fnn.pdf - handouts for lecture nn
Fnn-SOL.pdf - handouts for "solutions" for the incomplete
slides from lecture nn
Nnn.pdf - Nielson, Nielson nn
Ann.pdf - lecture notes nn
| Contents |
Slides |
Readings | |
| F1 | Introduction | F01.pdf | |
| F2 | Concrete and abstract representation, semantic functions | F02.pdf | A1.pdf |
| F3 | Haskell | Haskell examples |
Hudak, Peterson, and Hasel:
A gentle introduction
to Haskell, pages 1-25. Haskell problems, Solutions |
| F4 |
Semantics for natural numbers Structural induction. |
F04.pdf |
A2.pdf,
A3.pdf N1.3 |
| F5 |
While Semantics of expressions with states Free variables and substitution |
F05.pdf | N1.2-4 |
| F6 | Natural semantics | F06.pdf | N2.1 |
| F7 | Structural operational semantics | See F06.pdf | N2.2 |
| F8 | Properties of operational semantics | See F06.pdf | N2.3 |
| F9 | Prolog programming and an execution model | F09.pdf | A4.pdf |
| F10 | Extensions of While | F10.pdf | N2.4-5 |
| F11 | Correctness of a While compiler | F11.pdf | N3.1-3 |
| F12 | Lambda calculus | F12.pdf | A5.pdf |
| F13 | Lambda calculus | F12.pdf | A5.pdf |
| F14 | Domain theory | F14.pdf | A6.pdf, (N4.2-3) |
| F15 | Domain theory | A6.pdf, (N4.2-3) | |
| F16 | Domain theory | A6.pdf, (N4.2-3) | |
| F17 | Denotational semantics | N4.1, N4.5 (the 6 last pages, Continuations) | |
| F18 | Natural deduction | logic.pdf | |
| F19 | Old exams | 070817.pdf |
© cs.lth.se 2009. Maintained by
Lennart Andersson
Modified: Monday, 14-Feb-2011 12:20:57 CET