HOME | ENGLISH | IMPRESSUM | KIT

Fortgeschrittene Objektorientierung

Neuigkeiten

01.06.2011 Weitere Informationen zur Prüfung in FOO:
  • Die Anmeldung für Bachelor-/Masterstudenten erfolgt elektronisch über das QISPOS-System. Die Prüfung erfolgt mündlich und dauert 20 Minuten.
  • Die Anmeldung für Studenten im Diplomstudiengang erfolgt über den blauen Zettel vom Studienbüro. Die Prüfung erfolgt als Teil der einstündigen mündlichen Vertiefungsfachprüfung.
Die Prüfungen werden im Herbst stattfinden. Konkrete Prüfungstermine können ab Juli vereinbart werden. Für alle weiteren Fragen gibt es wie gehabt jeden Dienstag von 13:00-14:00 die Sprechstunde von Prof. Snelting.
20.04.2011 Die Vorlesung findet dieses Semester statt.
Der erste Vorlesungstermin ist Donnerstag, der 28. April 2011.
Die Übungen beginnen am 4. Mai.
15.04.2011 Die Vorlesungen am 18.04. und 21.04. entfallen.

Voraussetzungen

Kenntnisse in Softwaretechnik und Java.

Inhalt

Die Vorlesung ist keine Veranstaltung über objektorientierte Softwareentwicklung. Vielmehr behandelt sie theoretische Grundlagen, Implementierungstechniken, und aktuelle Entwicklungen im Bereich objektorientierter Programmiersprachen.

Übung

Die Webseiten der zugehörigen Übungsveranstaltung befinden sich hier.

Termine

vom 14.04.2011, bis 14.07.2011

Tag Beginn Ende Ort
Montag 14:00h 15:30h HS -102, Geb. 50.34
Donnerstag 14:00h 15:30h HS -102, Geb. 50.34
Die erste Vorlesung findet am Donnerstag, 28.4.2011, statt.

Veranstaltungen

Datum Zeit Ort Thema Unterlagen
Do. 14.04. 14:00h - 14:45h HS -102, 50.34 Einleitung [PDF]
Do. 28.04. 14:00h - 14:45h HS -102, 50.34 Tücken der dynamischen Bindung [PDF]
Mo. 02.05. 14:00h - 15:30h HS -102, 50.34 Tücken der dynamischen Bindung
Do. 05.05. 14:00h - 14:45h HS -102, 50.34 Mehrfachvererbung [PDF]
Mo. 09.05. 14:00h - 15:30h HS -102, 50.34 Der vtable-Mechanismus [PDF]
Do. 12.05. 14:00h - 14:45h HS -102, 50.34 Der vtable-Mechanismus
Mo. 16.05. 14:00h - 15:30h HS -102, 50.34 Überladungen [PDF]
Do. 19.05. 14:00h - 14:45h HS -102, 50.34 Invarianten, Typkonformanz [PDF]
Mo. 23.05. 14:00h - 15:30h HS -102, 50.34 Invarianten, Typkonformanz
Do. 26.05. 14:00h - 14:45h HS -102, 50.34 Generische Klassen [PDF]
Mo. 30.05. 14:00h - 15:30h HS -102, 50.34 Generische Klassen
Do. 02.06. Christi Himmelfahrt
Mo. 06.06. 14:00h - 15:30h HS -102, 50.34 Innere Klassen [PDF]
Do. 09.06. 14:00h - 14:45h HS -102, 50.34 Cardelli-Typsystem [PDF]
Regelsysteme [PDF]
Typisierter Lambda-Kalkül [PDF]
Mo. 13.06. Pfingstmontag
Do. 16.06. 14:00h - 14:45h HS -102, 50.34 Cardelli-Typsystem
Mo. 20.06. 14:00h - 15:30h HS -102, 50.34 Cardelli-Typsystem
Do. 23.06. Fronleichnam
Mo. 27.06. 14:00h - 15:30h HS -102, 50.34 Polymorphe, existenzielle und [PDF]
rekursive Typen
Do. 30.06. 14:00h - 14:45h HS -102, 50.34 Rapid Type Analysis [PDF]
Mo. 04.07. 14:00h - 15:30h HS -102, 50.34 Points-To-Analyse
Do. 07.07. 14:00h - 14:45h HS -102, 50.34 Palsberg-Schwartzbach- [PDF]
Typinferenz
Mo. 11.07. 14:00h - 15:30h HS -102, 50.34 Semantik [PDF]
Do. 14.07. 14:00h - 14:45h HS -102, 50.34 Entwurfsmuster [PDF]
Virtuelle Klassen [PDF]

Zusätzliches Material

Thema Unterlagen
Untypisierter Lambda-Kalkül [PDF]

Veranstalter

Lehrstuhlinhaber
Prof. Gregor Snelting
Wissenschaftliche Mitarbeiter
Manuel Mohr
Ehemalige Mitarbeiter
Dr. rer. nat. Andreas Lochbihler