Programmanalyse

Inhalt

1. Terms and induction
   
2. Structural operation semantics
   
3. Typed arithmetic expressions
   
4. Untyped and simply typed Lambda
   
5. Typing extensions (Base Types, Unit Type, Ascription, Let Bindings, Pairs, Records, Sums, Variants)
   
6. Syntactic and semantic subtyping, collection subtyping
   
7. Introduction to abstract interpretation: type analysis
   
8. Analysis of statements and assignments
   
9. Lattice theory
   
10. Galois connections and analysis soundness
    
11. Fixed points and widening
    
12. Heap analysis
    
13. Context sensitivity
    

Termine