| Übungsblätter |
|
| 1. Übungsblatt [Aufgabe] |
Mengen und Relationen (Besprechung am
28. April) |
| 2. Übungsblatt [Aufgabe] |
Regelinduktion, Big-Step-Semantik (Besprechung
am 5. Mai) |
| 3. Übungsblatt [Aufgabe] |
Regelinduktion, Small-Step-Semantik (Besprechung
am 12. Mai) |
| 4. Übungsblatt [Aufgabe] |
Ausnahmebehandlung, Nichtdeterminismus,
Parallele Programme (Besprechung am 19. Mai) |
| 5. Übungsblatt [Aufgabe] |
Definite Assignment, Abgeschlossene Mengen,
Codegenerierung (Besprechung am 26. Mai) |
| 6. Übungsblatt [Aufgabe] |
Jinja: Deklarationsinformation (Besprechung
am 2. Juni) |
| 7. Übungsblatt [Aufgabe] |
Jinja: Small-Step-Semantik, Finale Ausdrücke,
Exceptions (Besprechung am 9. Juni) |
| 8. Übungsblatt [Aufgabe] |
Jinja: Typsystem, Subsumption (Besprechung
am 16. Juni) |
| 9. Übungsblatt [Aufgabe] |
Jinja: super und Interfaces (Besprechung
am 23. Juni) |
| 10. Übungsblatt [Aufgabe] |
Jinja: Definite Assignment, Arrays (Besprechung
am 30. Juni) |
| 11. Übungsblatt [Aufgabe] |
Jinja: Arrays, Virtuelle Maschine (Besprechung
am 7. Juli) |
| 12. Übungsblatt [Aufgabe] |
Jinja: Typisierung, Typsicherheit, Konstantenpropagation
(Besprechung am 14. Juli) |
| 13. Übungsblatt [Aufgabe] |
Halbverbände, Programmtransformation,
Typsicherheit (Besprechung am 19. Juli) |
| Klausur |
|