Lecture planning
The 10 first hours are common with the SDL
course.
| Lecture | Date | Topic | Teacher | Location | Notes |
|---|---|---|---|---|---|
| 1 | 23/09/2009 10h15 | Dataflow analysis and lattice theory | DP | I58 | [pdf] |
| 2 | 05/10/2009 14h00 | Small-step operational semantics and natural semantics for a small imperative language and for the lambda calculus; equivalence of semantics | TJ | E209 | [pdf] |
| 3 | 12/10/2009 14h00 | End of the previous lecture. Semantics of Java byte code | TJ | E209 | See lecture 2 |
| 4 | 19/10/2009 14H00 | Dataflow analysis and constrained based analysis for Java | DP | E209 | [pdf] |
| 5 | 05/11/2009 08h00 | Type systems | TJ | E110 | [pdf] |
| 6 | 13/11/2009 08h00 | Java bytecode verification | TJ | Guernesey | [pdf] |
| 7 | 20/11/2009 08h00 | Abstract interpretation | DP | Guernesey | [pdf] |
| 8 | 27/11/2009 8h00 | Control flow analysis | TJ | I60 | [pdf] |
| 9 | 04/12/2009 8h00 | Abstract interpretation | DP | I58 | [pdf] |
| 10 | 11/12/2009 8H00 | Abstract interpretation | DP | I58 | [pdf] |
Teachers : Thomas Jensen (TJ) and David Pichardie (DP)