Description only available in german.
Material
Übungsblätter werden hier veröffentlicht.
| Exercise sheets PDF |
| 16.04.2012 |
Sheet 1: Induction |
Download
|
| 25.04.2012 |
Example solution to sheet 1 |
Download
|
| 25.04.2012 |
Sheet 2: Big-Step Semantics |
Download
|
| 02.05.2012 |
Example solution to sheet 2 |
Download
|
| 02.05.2012 |
Sheet 3: Small-Step Semantics |
Download
|
| 09.05.2012 |
Example solution to sheet 3 |
Download
|
| 15.05.2012 |
Sheet 4: big step and sall step smantics |
Download
|
| 15.05.2012 |
Example solution to sheet 4 |
Download
|
| 16.05.2012 |
Sheet 5: compiler |
Download
|
| 22.05.2012 |
Example solution to sheet 5 |
Download
|
| 23.05.2012 |
Sheet 6: Extensions of While |
Download
|
| 29.05.2012 |
Example solution to sheet 6 |
Download
|
| 30.05.2012 |
Sheet 7: Procedures |
Download
|
| 05.06.2012 |
Example solution to sheet 7 |
Download
|
| 10.06.2012 |
Sheet 8: Type safety |
Download
|
| 12.06.2012 |
Example solution to sheet 8 |
Download
|
| 13.06.2012 |
Sheet 9: Denotational Semantik |
Download
|
| 19.06.2012 |
Example solution to sheet 9 |
Download
|
| 20.06.2012 |
Sheet 10: Fixed point theory |
Download
|
| 26.06.2012 |
Example solution to sheet 10 |
Download
|
| 27.06.2012 |
Sheet 11: Kontexte |
Download
|
| 03.07.2012 |
Example solution to sheet 11 |
Download
|
| 09.07.2012 |
Sheet 12: Continuations |
Download
|
| 10.07.2012 |
Example solution to sheet 12 |
Download
|
| 11.07.2012 |
Sheet 13: Axiomatic semantics |
Download
|
| 17.07.2012 |
Example solution to sheet 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)
Schedule
begin 24.04.2012,
end 17.07.2012
| Weekday |
Begin |
End |
Location |
| Tuesday |
14:00h |
15:30h |
SR 236, Info-Bau (Geb. 50.34) |
Personnel
