Undervisningsplan

DatoUndervises avStedTemaKommentarer / ressurser
21.01.2008Martin Steffen    1. Intro. and overview  handout1 
28.01.2008Martin Steffen    2. Introduction   
04.02.2008Martin Steffen    3. Intro (constraints, types)  handout 2 
11.02.2008Martin Steffen    4. Data flow  handout 3 
18.02.2008Martin Steffen    5. data flow: def-use chains  handout 4a

some basic infos about svn-access 

25.02.2008Martin Steffen    6. data flow: VB, Live, semantics  handout 5 
03.03.2008Gerardo Schneider    7. Fixpoints - Semantics   
10.03.2008Martin Steffen    8. DFA: Worklist algorithm  handout 6 
31.03.2008Martin Steffen    9. shape analysis and pointers   
07.04.2008Martin Steffen    10. shape analysis   
14.04.2008Martin Steffen    11. shape analysis   
21.04.2008Martin Steffen    12. shape analysis   
28.04.2008Gerardo Schneider    13. shape analysis   
05.05.2008Martin Steffen    14. type and effect systems   
12.05.2008Martin Steffen    15. concurrency and communication   
19.05.2008Martin Steffen    16. concurrency and communication   
26.05.2008Martin Steffen    17. communication and concurrency   
02.06.2008Martin Steffen    18. questioning, revision   
Published Jan. 18, 2008 11:20 AM - Last modified Apr. 30, 2008 10:50 AM