| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 21.01.2008 | Martin Steffen? | ? | 1. Intro. and overview? | handout1? |
| 28.01.2008 | Martin Steffen? | ? | 2. Introduction? | ? |
| 04.02.2008 | Martin Steffen? | ? | 3. Intro (constraints, types)? | handout 2? |
| 11.02.2008 | Martin Steffen? | ? | 4. Data flow? | handout 3? |
| 18.02.2008 | Martin Steffen? | ? | 5. data flow: def-use chains? | handout 4a some basic infos about svn-access? |
| 25.02.2008 | Martin Steffen? | ? | 6. data flow: VB, Live, semantics? | handout 5? |
| 03.03.2008 | Gerardo Schneider? | ? | 7. Fixpoints - Semantics? | ? |
| 10.03.2008 | Martin Steffen? | ? | 8. DFA: Worklist algorithm? | handout 6? |
| 31.03.2008 | Martin Steffen? | ? | 9. shape analysis and pointers? | ? |
| 07.04.2008 | Martin Steffen? | ? | 10. shape analysis? | ? |
| 14.04.2008 | Martin Steffen? | ? | 11. shape analysis? | ? |
| 21.04.2008 | Martin Steffen? | ? | 12. shape analysis? | ? |
| 28.04.2008 | Gerardo Schneider? | ? | 13. shape analysis? | ? |
| 05.05.2008 | Martin Steffen? | ? | 14. type and effect systems? | ? |
| 12.05.2008 | Martin Steffen? | ? | 15. concurrency and communication? | ? |
| 19.05.2008 | Martin Steffen? | ? | 16. concurrency and communication? | ? |
| 26.05.2008 | Martin Steffen? | ? | 17. communication and concurrency? | ? |
| 02.06.2008 | Martin Steffen? | ? | 18. questioning, revision? | ? |
Undervisningsplan
Published Jan. 18, 2008 11:20 AM
- Last modified Apr. 30, 2008 10:50 AM