Next semester

Programmanalyse

Instructors: Univ.-Prof. Dr. Sebastian Erdweg
Shortname: 08.079.732
Course No.: 08.079.732
Course Type: Vorlesung/Übung

Contents

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
    

Dates

Date (Day of the week)	Time	Location
04/17/2024 (Wednesday)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
04/24/2024 (Wednesday)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
05/08/2024 (Wednesday)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
05/15/2024 (Wednesday)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
05/22/2024 (Wednesday)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
05/29/2024 (Wednesday)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
06/05/2024 (Wednesday)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
06/12/2024 (Wednesday)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
06/19/2024 (Wednesday)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
06/26/2024 (Wednesday)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
07/03/2024 (Wednesday)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
07/10/2024 (Wednesday)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik
07/17/2024 (Wednesday)	12:15 - 13:45	05 426 2413 - Neubau Physik/Mathematik