Aktuelles
| Datum | Mitteilung |
| 5.4.2012 | Die Übung beginnt am 24.4.2012. In der ersten Woche findet zum Übungstermin die Vorlesung statt. |
Ü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 |
| 16.04.2012 |
Blatt 1: Induktion |
Download
|
| 25.04.2012 |
Beispiellösung zu Blatt 1 |
Download
|
| 25.04.2012 |
Blatt 2: Big-Step-Semantik |
Download
|
| 02.05.2012 |
Beispiellösung zu Blatt 2 |
Download
|
| 02.05.2012 |
Blatt 3: Small-Step-Semantik |
Download
|
| 09.05.2012 |
Beispiellösung zu Blatt 3 |
Download
|
| 15.05.2012 |
Blatt 4: Big-Step- und Small-Step-Semantik |
Download
|
| 15.05.2012 |
Beispiellösung zu Blatt 4 |
Download
|
| 16.05.2012 |
Blatt 5: Compiler |
Download
|
| 22.05.2012 |
Beispiellösung zu Blatt 5 |
Download
|
| 23.05.2012 |
Blatt 6: Erweiterungen zu While |
Download
|
| 29.05.2012 |
Beispiellösung zu Blatt 6 |
Download
|
| 30.05.2012 |
Blatt 7: Prozeduren |
Download
|
| 05.06.2012 |
Beispiellösung zu Blatt 7 |
Download
|
| 10.06.2012 |
Blatt 8: Typsicherheit |
Download
|
| 12.06.2012 |
Beispiellösung zu Blatt 8 |
Download
|
| 13.06.2012 |
Blatt 9: Denotationale Semantik |
Download
|
| 19.06.2012 |
Beispiellösung zu Blatt 9 |
Download
|
| 20.06.2012 |
Blatt 10: Fixpunkttheorie |
Download
|
| 26.06.2012 |
Beispiellösung zu Blatt 10 |
Download
|
| 27.06.2012 |
Blatt 11: Kontexte |
Download
|
| 03.07.2012 |
Beispiellösung zu Blatt 11 |
Download
|
| 09.07.2012 |
Blatt 12: Continuations |
Download
|
| 10.07.2012 |
Beispiellösung zu Blatt 12 |
Download
|
| 11.07.2012 |
Blatt 13: Axiomatische Semantik |
Download
|
| 17.07.2012 |
Beispiellösung zu Blatt 13 |
Download
|
Für die Prolog-Aufgaben Stellen wir ein paar Hilfsfunktionen bereit:
- common.pl: Auswertung arithmetischer und Bool’scher Ausdrücke
- derivTree.pl: Darstellungen von Ableitungsbäumen von Prolog-Ausdrücken
- bigstep.pl: Auswertung mit Big-Step-Semantik (siehe Übungsblatt 2)
- timedbigstep.pl: Auswertung mit Big-Step-Semantik und Ausführungszeiten (siehe Übungsblatt 4)
Termin
vom 24.04.2012,
bis 17.07.2012
| Tag |
Beginn |
Ende |
Ort |
| Dienstag |
14:00h |
15:30h |
SR 236, Info-Bau (Geb. 50.34) |
Veranstalter
