Undervisningsplan

DatoUndervises avStedTemaKommentarer / ressurser
28.08.2006Martin Steffen    1. Introduction and overview   
04.09.2006Martin Steffen    2. Introduction   
11.09.2006Martin Steffen    3. Data flow analysis   
18.09.2006---      No lecture 
25.09.2006Martin Steffen    4. Data flow analysis   
02.10.2006Martin Steffen    5. Data flow analysis: def-use chains, theoretical properties   
09.10.2006Martin Steffen    6. Data flow analysis: fixpoints, correctness, monotone frameworks   
16.10.2006Martin Steffen    7. DFA: equation solving, WL algos   
23.10.2006Martin Steffen    8. DFA: interprocedural, semantics  brannalarm 
30.10.2006Martin Steffen    9. DFA: interprocedural, shape analyis   
06.11.2006Martin Steffen    10. shape analysis, shape graphs   
13.11.2006Martin Steffen    11. type and effect systems   
20.11.2006    12. Type and effect systems   
20.11.2006    13. Type and effect systems   
27.11.2006    14. Type and effect system, discussion, questions   
08.12.2006  sem.rom 2G  exams  Oppmøte kl. 09. 
Published Aug. 15, 2006 3:24 PM - Last modified Dec. 7, 2006 5:12 PM