Proseminar: Fortgeschrittene Programmierkonzepte in Java, Haskell und Prolog
(S2, SS 2007)
|
|
Veranstalter
Prof. Dr. Jürgen
Giesl, Carsten Fuhs, Peter Schneider-Kamp, Stephan Swiderski, René Thiemann
Die Vorbesprechung des Proseminars, in der auch die Themen vergeben werden,
ist um 15:45 Uhr am Freitag, dem 9. Februar 2007, im Raum 5052 (Ahornstr. 55).
Das Proseminar findet wöchentlich am Freitag von 15:45 - 17:15 Uhr in
Raum 5052 statt.
Achtung: Der Termin am 29.6. muss aufgrund einer Konferenz verschoben werden.
Daher finden alle darauf folgenden Seminare eine Woche
später statt.
Achtung: Der Termin am 22.6. findet im Seminarraum des I6 statt (6124).
Inhalt
In diesem Proseminar werden fortgeschrittene Konzepte
von Programmiersprachen verschiedender Programmierparadigmen vorgestellt. Als
Vertreter der imperativen und objektorientierten Sprachen betrachten wir
Java, als funktionale Sprache wird Haskell untersucht und also
logische Sprache wird Prolog betrachtet. Das Proseminar baut auf der
Vorlesung "Programmierung" auf, in denen erste Grundlagen dieser
Sprachen behandelt wurden.
Themen
Datum | Thema | Betreuer | Referenten |
13.04. | Exception Handling und andere Spracherweiterungen | S. Swiderski | Maik Glatki, Ulf Schräer |
20.04. | Generische Typen | S. Swiderski | Benjamin Held, Jan Marten |
27.04. | Collection Classes und Iteration | P. Schneider-Kamp | Paul Heiniz, Sergej Prus |
04.05. | Multi-Threading und Synchronisation | R. Thiemann | Daniel Heidchen, Krug Markus |
11.05. | Netzwerkprogrammierung | R. Thiemann | Philipp Henschel, Sebastian Schöppel |
18.05. | Sicherheitskonzepte | P. Schneider-Kamp | Morteza Hashemi Farzaneh, Keying Lai |
25.05. | Sprachanbindungen | P. Schneider-Kamp | Dominic Gatzen, Kristoffer Janke |
08.06. | Haskell: Auswertungsstrategie und Lazy Programming | S. Swiderski | Alexander Braining, Igor Kalkov |
15.06. | Funktionen höherer Ordnung und List Comprehensions | C. Fuhs | Jan Feldmann, Jan Holz |
22.06. | Typklassen, Monaden und Ein-/Ausgabe | S. Swiderski | Radek Paluszak, Stefan Stark |
06.07. | Negation als Fehlschlag und der Cut, sowie Extra-Logische Prädikate | C. Fuhs | Hong Ha Dinh, Moritz Venn |
13.07. | Constraint Logic Programming und Definite Clause Grammars | P. Schneider-Kamp | Marvin Hoffmann, Siebert Jochen |
Bibliotheksführung
Alle Teilnehmer sind verpflichtet, an einer Bibliotheksführung teilzunehmen. Dafür gibt
es die folgenden vier Termine.
- 27.2., 15:00 Uhr
- 5.3., 11:00 Uhr
- 26.3., 15:00 Uhr
- 16.4., 11:00 Uhr
Die genaue Aufteilung auf diese Termine befindet sich in der folgenden Tabelle.
Teilnehmer | Termin |
Alexander Braining | 2 |
Hong Ha Dinh | 3 |
Jan Feldmann | 3 |
Dominic Gatzen | 3 |
Maik Glatki | 2 |
Morteza Hashemi Farzaneh | 1 |
Daniel Heidchen | 1 |
Paul Heiniz | 2 |
Benjamin Held | 1 |
Philipp Henschel | 4 |
Marvin Hoffmann | 4 |
Jan Holz | 3 |
Kristoffer Janke | 4 |
Siebert Jochen | 3 |
Igor Kalkov | 2 |
Keying Lai | 1 |
Krug Markus | 1 |
Jan Marten | 1 |
Radek Paluszak | 4 |
Sergej Prus | 2 |
Sebastian Schöppel | 4 |
Ulf Schräer | 2 |
Stefan Stark | 4 |
Moritz Venn | 3 |
Literatur
- [1] Simon Thompson: Haskell - The Craft of Functional Programming,
Addison Wesley, 1996.
- [2] Leon Sterling & Ehud Shapiro: The Art of Prolog,
MIT Press, 1986.
- [3] Johannes Nowak: Fortgeschrittene Programmierung mit Java 5,
dpunkt.verlag, 2005.
- [4] Walter Savitch: Java - An Introduction to Computer Science & Programming,
Prentice Hall, 2001.
- [5] Sun Microsystems: Java 2 Platform Standard Edition 5.0 API Specification.
- [6] Patrick Niemeyer & Joshua Peck: Exploring Java,
O'Reilly, 1996.
- [7] Gary McGraw & Edward W. Felten: Securing Java,
Wiley, 1999.
- [8] Erich Gamma et al.: Entwurfsmuster,
Addison Wesley, 2001.
Wichtige Termine
Es wird erwartet, dass die folgenden strikten Termine eingehalten werden:
- Die angegebene Literatur sollte spätestens sieben
Wochen vor dem Vortrag bei dem entsprechenden
Betreuer abgeholt werden.
- Spätestens fünf Wochen vor dem Vortrag
führt der Teilnehmer ein Gespräch mit
dem Betreuer über die bis zu diesem Zeitpunkt vorliegenden Resultate.
Insbesondere soll bei diesem Termin eine Gliederung besprochen werden.
- Spätestens drei Wochen vor dem Vortrag
liegt dem Betreuer eine vollständige Ausarbeitung vor. Sollte diese mehr als zehn Rechtschreib- oder
Grammatikfehler auf einer Seite enthalten, wird die Bearbeitung abgebrochen.
- Spätestens eine Woche vor dem Vortrag wird die Ausarbeitung, in
genügender Anzahl kopiert, zum Proseminartreffen mitgebracht (bzw. im
Sekretariat des Lehrstuhls ausgelegt). Die Kopien können am Lehr- und Forschungsgebiet
angefertigt werden.
Schein
Zum Erhalt des Scheins müssen Sie die folgenden vier Bedingungen erfüllen:
- Sie nehmen an der Ihnen zugewiesenen Bibliotheksführung teil.
- Sie halten einen Vortrag.
- Vor dem Vortrag erstellen Sie
eine Ausarbeitung.
- Sie nehmen an allen Vorträgen teil.
Betreuer
Jeder Teilnehmer hat einen
wissenschaftlichen Mitarbeiter als Betreuer. Dieser berät Sie bei der
Bearbeitung Ihres Themas. Sie sollten Ihren Betreuer mehrfach
aufsuchen, um mit ihm Ihren Fortschritt zu besprechen. Sie sollten ihn
mindestens kontaktieren um
- die Literatur abzuholen;
- ihm die von Ihnen gefundene Literatur zu zeigen;
- ihm den Entwurf der Struktur der Ausarbeitung zu
zeigen;
- ihm einmal eine Ausarbeitung zu zeigen; diese wird er
lesen und Ihnen anschließend Verbesserungsvorschläge machen;
- ihm die Endversion der Ausarbeitung zu geben;
- mit ihm die Struktur des Vortrags zu besprechen;
- ihm einen Entwurf der Vortragsfolien zu zeigen.
Ausarbeitung und Vortrag
- Die Ausarbeitung darf maximal 12 Seiten (inklusive Titelblatt) enthalten.
Längere Ausarbeitungen werden nicht bearbeitet.
- Sollte die Ausarbeitung mehr als 5 Rechtschreibfehler auf einer Seite
enthalten, die ein Rechtschreibprüfprogramm finden würde,
wird die Bearbeitung abgebrochen.
-
Allgemeine Hinweise zu Ausarbeitungen von Seminaren
Die Ausarbeitung kann mit einem beliebigen Textverarbeitungssystem erstellt werden. Wir empfehlen allerdings LaTeX.
Rückfragen
Bei Rückfragen wenden Sie sich bitte an
Peter Schneider-Kamp (psk@informatik.rwth-aachen.de, Tel: 80-21211).