08.079.732 Programmanalyse

Lehrende/r: Univ.-Prof. Dr. Sebastian Erdweg

Veranstaltungsart: Vorlesung/Übung

Anzeige im Stundenplan: 08.079.732

Semesterwochenstunden: 4

Credits: 6,0

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Inhalt:

• Terms and induction
  
• Structural operation semantics
  
• Typed arithmetic expressions
  
• Untyped and simply typed Lambda
  
• Typing extensions (Base Types, Unit Type, Ascription, Let Bindings, Pairs, Records, Sums, Variants)
  
• Syntactic and semantic subtyping, collection subtyping
  
• Introduction to abstract interpretation: type analysis
  
• Analysis of statements and assignments
  
• Lattice theory
  
• Galois connections and analysis soundness
  
• Fixed points and widening
  
• Heap analysis
  
• Context sensitivity