Übungsblätter
|
|
| 1. Übungsblatt [Aufgabe] |
Relationen und
Reduktionssysteme |
| 2. Übungsblatt [Aufgabe] |
Operationale Semantik,
while-Schleife |
| 3. Übungsblatt [Aufgabe] |
Regelinduktion,
Small-Step-Semantik |
| 4. Übungsblatt [Aufgabe] |
Erweiterungen der
operationalen Semantik,
Compiler |
| 5. Übungsblatt [Aufgabe] |
Definite Assignment,
Regeln, Fixpunktsatz |
| 6. Übungsblatt [Aufgabe] |
Jinja:
Deklarationsinformation, Big-Step-Semantik
Korrektur
(23.5.):
Methodentypen im Programm P |
| 7. Übungsblatt [Aufgabe] |
Jinja:
Small-Step-Semantik, Exceptions |
| 8. Übungsblatt [Aufgabe] |
Jinja: Typsystem |
| 9. Übungsblatt [Aufgabe] |
Erweiterungen von Jinja:
Super und Arrays
Neu
(27.6.):
Kommentar zum Typsystem für Arrays |
| 10. Übungsblatt [Aufgabe] |
Hoare-Logik |
| 11. Übungsblatt [Aufgabe] |
Verifikationsbedingungen |
| 12. Übungsblatt [Aufgabe] |
Totale Korrektheit,
Verifikationsbedingungen,
Arrays |
