Lecture planning
The 10 first hours are common with the SDL
course.
| Lecture | Date | Topic | Teacher | Location | Notes |
|---|---|---|---|---|---|
| 1 |
03/10/2011 | Small-step operational semantics and natural semantics for a small imperative language; equivalence of semantics | TJ |
[pdf] |
|
| 2 |
10/10/2011 | Semantics of lambda calculus. |
TJ | [pdf] |
|
| 3 |
17/10/2011 | Type systems | TJ | [pdf] |
|
| 4 |
24/10/2011 | Data flow analysis |
TJ |
[pdf] | |
| 5 |
07/11/2011 | Constraint based analysis |
TJ |
[pdf] | |
| 6 | 16/11/2011 | Abstract interpretation | TJ | [pdf] | |
| 7 | 23/11/2011 | Abstract interpretation | TJ |
[pdf] | |
| 8 | 30/11/2011 | Abstract interpretation | TJ | [pdf] | |
| 9 |
05/12/2011 |
Higher-order process
calculi |
AS |
[pdf] |
|
| 10 |
07/12/2011 | Java bytecode verification | TJ |
[pdf] |
|
Teacher : Thomas
Jensen (TJ) , Alan Schmitt (AS)