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
