Zeitplan Code-Reuse und Polymorphie

Dies ist ein vorläufiger Zeitplan; Änderungen sollten mindestens einmal wöchentlich abgerufen werden.
Soweit nicht anders angegeben finden die Sitzungen um 16ct im Seminarraum 1 (Sand 6/7) statt.
Wir werden wegen Zeitkonflikten von Teilnehmern drei Sitzungen verschieben müssen (wahrscheinlich auf 17-19)
Die angegebenen Aufsätze werden am entsprechenden Termin besprochen und müssen in der vorangegangenen Woche vorbereitet werden.

Termin	Inhalt	Material
Gemeinsames Lesen
19.4.	Semesteranfang (kein Treffen)
21.4.	Anmeldung, Einführung und Themenvergabe
26.4.	Betrand Meyer: Applying "Design by Contract"
3.5.	James O. Coplien: Multi-Paradigm Design for C++ (Kapitel 2 und 3)
10.5.^*	Luca Cardelli: Basic Polymorphic Typechecking	Handout zur Unifikation und Code eines Typcheckers
17.5.	Wadler/Blott: How to make ad-hoc polymorphism less ad hoc	Erweiterte Version des Typcheckers (Letrec, If; mit Handouts aus Besprechung) Ein einfacher Typchecker mit Typklassen.
24.5.	Benjamin C. Pierce: Types and Programming Languages. (Kapitel 15 und 18)
31.5. Pfingsten	[ keine Sitzung ] Zusammenfassung der Einzelthemen vorbereiten
7.6.	Musser/Stepanov: Algorithm-oriented Generic Libraries, Software Practice and Experience, 24(7), 1994
14.6.	Übersicht über den bisherigen Stoff Methodik Referate und Ausarbeitungen
Vorträge Einzelthemen Probevorträge > 1 Woche vor dem Vortrag
5.7., 14st-18h	4 Einzel-Vorträge
Abgabe Ausarbeitungen verlegt
12.7., 14st-18h	4 Einzel-Vorträge
19.7.	Zusammenfassung, Evaluation, Ausgabe Seminarband verlegt
Abgabe Ausarbeitungen: noch zu besprechen

Hinweise:

^*Aufgrund der Themenauswahl wird der Bereich Software-Technik zweigeteilt und die Typsysteme vorgezogen.
Deadlines und Vorschläge sind hervorgehoben

Last modified: Wed Jun 30 08:22:55 MST 2004