[Christian-Albrechts-Universität] [Technical Faculty]

Formale Grundlagen Objektorientierter Sprachen
Vorlesung im Sommersemester 2005

Termin Vorlesung: Freitag, 10 ct. , Ü2
Termin Übung: anschließend
Beginn: 8. 4. 2005 (zu Semesteranfang)
Dozenten: Harald Fecher und Martin Steffen

Die vollständigen studientechnischen Daten sind über das Univis-System zu erfragen.
Abstract: Under constant construction... Wir werden im Semester verschiedene semantische Aspekte objektorientierter Sprachen besprechen. Anfangen werden wir mit [1], und dann sehen wir wie wir vorankommen und was uns/die Zuhörerschaft interessiert.
1. 8.April 1 - 2.6 of [1] basic notions (inheritance, classes, subtyping, variance ...)
2 15. April 2.7 ... further basic (and perhaps not so basic) notions

Table 1: advance

übungen