Evaluation
- Klausur, 60min, ohne Hilfsmittel
Vorlesungsunterlagen
- Background: Sets, multisets, lists, logic, ordering relations,
…
- Overview
- Concurrency in Go
- Go multi-threading, Kanal-basierte Kommunikation
- Synchrone versus Asynchrone Kommunikation
- Kanäle von Kanälen
- Nichtdeterministische Auswahl (“select”)
- Weitere Aufgaben und Zusammenfassung
- Understanding the meaning of programs via operational semantics
- Dynamic versus static
analysis methods
- Language-based static verification (coming up)
- Dynamic data race prediction
- Deadlock Analyse
- Go Analysis Scenarios
- Examples and tools available (coming up)
- Concurrency models
- Design of EDSLs (by making use of generics, higher-order functions,
…)
- Focus on concurrent EDSLs:
- Weitere Beispiele
- Go - kurz und knapp
Exercises:
Semesterablauf
- Vorlesung, E302, Donnerstags 9:50-11:20 und auf zoom
Wöchentlicher Ablauf (siehe auch ilias Forum)
- W1, 16.03-22.03
- Intro
- Go multi-threading, Kanal-basierte Kommunikation
- W2, 23.03-29.03
- Go Kanal-basierte Kommunikation
- W3, 30.03-05.04
- W4, 06.03-12.04
- Dienstag Vorlesungsfrei
- Go Beispiele
- W5, 13.04-19.04
- Operational semantics (EXP)
- W6, 20.04-26.04
- Operational semantics (SIMP)
- W7, 27.04-03.05
- W8, 04.05-10.05
- W9, 11.05-17.05
- Donnerstag Vorlesungsfrei
- W10, 18.05-24.05
- Operational semantics (Multithreading + Locks)
- Pfingstferien 25.05-31.05
- W11, 01.06-07.06
- Donnerstag Vorlesungsfrei
- W12, 08.06-14.06
- W13, 15.06-21.06
- W14, 22.06-28.06
- W15, 29.06-05.07