Übungen zu Semantik von Programmiersprachen
In den wöchentlichen Übungen zur Vorlesung Semantik von Programmiersprachen werden die Inhalte der Vorlesung wiederholt, angewandt und vertieft.
Dazu gibt es auf dieser Seite Übungsblätter mit Aufgaben, die z.T. selbstständig, z.T. in der Übung gelöst werden, nicht aber zur Korrektur abgegeben werden brauchen.
Unterlagen
Übungsblätter werden hier veröffentlicht.
| Übungsblätter PDF |
| 14.04.2010 |
Blatt 1 - Mathematische Grundlagen |
Download
|
| 21.04.2010 |
Blatt 2 - Big-Step-Semantik |
Download
|
| 28.04.2010 |
Blatt 3 - Small-Step-Semantik |
Download
|
| 05.05.2010 |
Blatt 4 - Big- und Small-Step-Semantik |
Download
|
| 12.05.2010 |
Blatt 5 - Compiler |
Download
|
| 19.05.2010 |
Blatt 6 - Erweiterungen zu While |
Download
|
| 26.05.2010 |
Blatt 7 - Prozeduren |
Download
|
| 02.06.2010 |
Blatt 8 - Typsysteme |
Download
|
| 10.06.2010 |
Blatt 9 - Fixpunktiteration |
Download
|
| 16.06.2010 |
Blatt 10 - Fixpunkttheorie |
Download
|
| 23.06.2010 |
Blatt 11 - Kontexte |
Download
|
| 01.07.2010 |
Blatt 12 - Continuations |
Download
|
| 07.07.2010 |
Blatt 13 - Axiomatische Semantik |
Download
|
Termin
vom 20.04.2010,
bis 13.07.2010
| Tag |
Beginn |
Ende |
Ort |
| Dienstag, 20.4.2010 |
11:30h |
13:00h |
SR 301 Geb. 50.43 |
Veranstalter
