Parallele Algorithmen
- Type: Vorlesung (V)
- Semester: SS 2011
-
Time:
12.04.2011
15:45-17:15
50.34 Raum 236
19.04.2011
15:45-17:15
50.34 Raum 236
26.04.2011
15:45-17:15
50.34 Raum 236
03.05.2011
15:45-17:15
50.34 Raum 236
10.05.2011
15:45-17:15
50.34 Raum 236
17.05.2011
15:45-17:15
50.34 Raum 236
24.05.2011
15:45-17:15
50.34 Raum 236
31.05.2011
15:45-17:15
50.34 Raum 236
07.06.2011
15:45-17:15
50.34 Raum 236
14.06.2011
15:45-17:15
50.34 Raum 236
21.06.2011
15:45-17:15
50.34 Raum 236
28.06.2011
15:45-17:15
50.34 Raum 236
05.07.2011
15:45-17:15
50.34 Raum 236
12.07.2011
15:45-17:15
50.34 Raum 236
- Lecturer: Prof.Dr. Peter Sanders
- SWS: 2
- Lv-No.: 24602
Vortragssprache:
DeutschBeschreibung:
Die formale Semantik einer Programmiersprache legt mit mathematischen Methoden die exakte Bedeutung eines Programms bzw. seines Ablaufs fest. Nicht nur verbessert eine formale Semantik Verständnis und Präzision von Sprachen und ihren Beschreibungen; formale Semantik ermöglicht erst den strengen Beweis von Sicherheitseigenschaften, wie z.B. dass ein Programm nicht wegen illegaler Casts abstürzen kann ('Typsicherheit'). Die Veranstaltung stellt Grundlagen und Anwendungen moderner Semantik vor.
Themen:
- Abstrakte Syntax
- Typsysteme
- Denotationale Semantik
- Continuation-Semantik
- Operationale Semantik
- Typsicherheit
- Korrektheit der Hoare-Logik
- aktuelle Entwicklungen
Lehrinhalt:
Kenntnis der Grundlagen und Anwendungen von operationaler und denotationaler Semantik; Einblick in aktuelle Forschung
Hinweise zur Prüfung
Sie müssen sich vor der Prüfung am Studierendenportal für diese Veranstaltung anmelden; falls zwei Einträge "Parallele Algorithmen" bei Ihnen vorhanden sind, wählen Sie bitte die Nummer 13331. Termine für die mündliche Prüfung vereinbaren Sie bitte mit Herrn Prof. Sanders direkt per E-Mail.