20-00-0580-iv Statische und dynamische Programmanalyse

Veranstaltungsdetails

Lehrende: Prof. Dr.-Ing. Heiko Mantel

Veranstaltungsart: Integrierte Veranstaltung

Orga-Einheit: FB20 Informatik

Anzeige im Stundenplan: Stat.dynam.Progr.ana

Fach:

Anrechenbar für:

Semesterwochenstunden: 4

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
- operationelle Semantiken für sequentielle und parallele Programme
- Übersicht über Techniken zur statischen und dynamischen Programmanalyse
- Abstrakte Interpretation
- Datenflussanalysen
- Slicing-Techniken
- typbasierte Programmanalysen
- Konzepte der Laufzeitüberwachung
- Implementierungstechniken zur Laufzeitüberwachung
- Sprachbasierte Sicherheit
- Korrektheit und Präzision von Programmanalysen

Voraussetzungen:
Informatik- und Mathematikkenntnisse entsprechend den ersten 4 Semestern des Bachelorstudiengangs Informatik, insbesondere grundlegende Logikkenntnisse und Fähigkeit, mit formalen Sprachen und Kalkülen umzugehen

Literatur
Termine
Datum Von Bis Raum Lehrende
1 Di, 19. Okt. 2021 09:50 11:30 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
2 Mi, 20. Okt. 2021 16:15 17:55 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
3 Di, 26. Okt. 2021 09:50 11:30 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
4 Mi, 27. Okt. 2021 16:15 17:55 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
5 Di, 2. Nov. 2021 09:50 11:30 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
6 Mi, 3. Nov. 2021 16:15 17:55 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
7 Di, 9. Nov. 2021 09:50 11:30 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
8 Mi, 10. Nov. 2021 16:15 17:55 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
9 Di, 16. Nov. 2021 09:50 11:30 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
10 Mi, 17. Nov. 2021 16:15 17:55 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
11 Di, 23. Nov. 2021 09:50 11:30 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
12 Mi, 24. Nov. 2021 16:15 17:55 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
13 Di, 30. Nov. 2021 09:50 11:30 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
14 Mi, 1. Dez. 2021 16:15 17:55 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
15 Di, 7. Dez. 2021 09:50 11:30 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
16 Mi, 8. Dez. 2021 16:15 17:55 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
17 Di, 14. Dez. 2021 09:50 11:30 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
18 Mi, 15. Dez. 2021 16:15 17:55 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
19 Di, 11. Jan. 2022 09:50 11:30 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
20 Mi, 12. Jan. 2022 16:15 17:55 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
21 Di, 18. Jan. 2022 09:50 11:30 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
22 Mi, 19. Jan. 2022 16:15 17:55 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
23 Di, 25. Jan. 2022 09:50 11:30 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
24 Mi, 26. Jan. 2022 16:15 17:55 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
25 Di, 1. Feb. 2022 09:50 11:30 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
26 Mi, 2. Feb. 2022 16:15 17:55 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
27 Di, 8. Feb. 2022 09:50 11:30 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
28 Mi, 9. Feb. 2022 16:15 17:55 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
29 Di, 15. Feb. 2022 09:50 11:30 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
30 Mi, 16. Feb. 2022 16:15 17:55 >Digitaler Veranstaltungstermin Prof. Dr.-Ing. Heiko Mantel
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
Lehrende
Prof. Dr.-Ing. Heiko Mantel