| Blatt |
Thema |
PDF |
Material |
Ausgabedatum |
Abgabedatum |
Lösung |
Anmerkungen |
| 1 |
Einführung in Ocaml |
ueb01.pdf |
|
14.10.2003 |
23.10.2003 |
lsg01.pdf |
| 2 |
Ocaml, Interpretation, Rahmen |
ueb02.pdf |
rahmen02.zip |
23.10.2003 |
30.10.2003, 9:30h |
lsg02.pdf |
ABGABE: 9:30h |
| 3 |
Bootstrapping, Paradigmen und VM |
ueb03.pdf |
rahmen03.zip |
30.10.2003 |
6.11.2003, 9:30h |
lsg03.pdf |
ABGABE: 9:30h |
| 4 |
Lambda-Kalkül: Namen und Auswertung |
ueb04.pdf |
rahmen04.zip |
6.11.2003 |
13.11.2003, 9:30h |
lsg04.pdf |
|
| 5 |
Attribute von Namen in Pascal |
ueb05.pdf |
rahmen05.zip |
13.11.2003 |
20.11.2003, 9:30h |
lsg05.pdf |
Abgabeverlängerung: 25.11.2003, 12:30h |
| 6 |
Dynamische und statische Bindung |
ueb06.pdf |
rahmen06.zip |
20.11.2003 |
27.11.2003, 9:30h |
lsg06.pdf |
|
| 7 |
Linker |
ueb07.pdf |
rahmen07.zip |
27.11.2003 |
4.12.2003, 9:30h |
lsg07.pdf |
|
| 8 |
Laufzeitsysteme |
ueb08.pdf |
rahmen08.zip |
4.12.2003 |
11.12.2003, 9:30h |
lsg08.pdf |
Das Modul für Exceptions nicht bearbeiten. |
| 9 |
Referenz- und Inout-Parameter |
ueb09.pdf |
rahmen09.zip |
11.12.2003 |
18.12.2003, 9:30h |
lsg09.pdf |
|
| 10 |
Typen als Strukturbeschreibunegn |
ueb10.pdf |
|
8.1.2004 |
15.1.2004, 9:30h |
lsg10.pdf |
|
| 11 |
Typsysteme |
ueb11.pdf |
rahmen11.zip |
15.1.2004 |
22.1.2004, 9:30h |
lsg11.pdf |
|
| 12 |
Implementierung von Bibliotheken und Modulen |
ueb12.pdf |
rahmen12.zip |
22.1.2004 |
29.1.2004, 9:30h |
|
Unter Linux muss in Aufgabe 3 noch -ldl beim
gcc angegeben werden. |
| 13 |
Geheimnisprinzip und Ausnahmen |
ueb13.pdf |
|
29.1.2004 |
5.2.2004, 9:30h |
|
|