Nächstes Semester

Programmanalyse

Dozent:innen: Univ.-Prof. Dr. Sebastian Erdweg
Kurzname: 08.079.732
Kurs-Nr.: 08.079.732
Kurstyp: Vorlesung/Übung

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

Datum (Wochentag)	Zeit	Ort
17.04.2024 (Mittwoch)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
24.04.2024 (Mittwoch)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
08.05.2024 (Mittwoch)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
15.05.2024 (Mittwoch)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
22.05.2024 (Mittwoch)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
29.05.2024 (Mittwoch)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
05.06.2024 (Mittwoch)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
12.06.2024 (Mittwoch)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
19.06.2024 (Mittwoch)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
26.06.2024 (Mittwoch)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
03.07.2024 (Mittwoch)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
10.07.2024 (Mittwoch)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
17.07.2024 (Mittwoch)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik