I will keep the general slides here
The slides will grow during the lecture, i.e., I will update those, but I will not link in a new portion in each indiividual week.| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 25.01.2010 | Martin Steffen? | FP? | Intro? | What is static analysis, approximation, static vs. dynamic, language hierarchyhandout 1? |
| 04.02.2010 | Martin Steffen? | FP? | ? | handout 2? |
| 11.02.2010 | Martin Steffen? | ? | Introduction? | Slideshandout 1? |
| 18.02.2006 | M. Steffen? | ? | Intro? | ? |
| 25.02.2010 | Martin Steffen? | FP? | ? | End of Introduction.handout 3? |
| 05.03.2010 | Martin Steffen? | FP? | 4 dataflow analyses? | LV, VB, RD, AE? |
| 11.03.2010 | Martin Steffen? | FP? | Operational semantics? | SOS, derivation rules, denotation semantics for expressions.? |
| 18.03.2010 | ? | ? | No lecture this week, Pedagogics course? | ? |
| 25.03.2010 | ? | ? | ? | again, no lecture (defense)? |
| 01.04.2010 | ? | ? | ? | Sk?rstorsdag? |
| 08.04.2010 | M. Steffen? | ? | LV, Fixpoint / Lattices? | ? |
| 15.04.2010 | M. Steffen? | ? | Fixpoint iteration, LV, Algorithmic? | 1 hour longer, to compensate for 2 missed lessonshandout 4handout5? |
| 22.04.2010 | M. Steffen? | ? | Shape analysis? | ? |
| 29.04.2010 | M. Steffen? | ? | Type and effects: control flow analysis? | New slides about type and effect systems? |
| 06.05.2010 | ? | ? | TBA? | ? |
| 11.05.2010 | M. Steffen? | ? | TBA? | ? |
| 13.05.2010 | M- Steffen? | ? | TBA? | The official date is 13.May, but that's a free day. Since we lost 2 days this semester already, we will find another day for it.? |
| 20.05.2010 | M. Steffen? | ? | TBA? | ? |
| 27.05.2010 | M. Steffen? | ? | TBA? | ? |