Typsysteme
LVA 185.206, VO 2.0, 2004 W

Typsysteme

NEU: Vorlesungen jeden Freitag, 9:30 bis 11:00 Uhr, EI 3A

Ziele:

Die Teilnehmer sollen einen Überblick über verschiedene Typsysteme in Programmiersprachen und deren Vor- und Nachteile bekommen. Insbesondere sollen die Möglichkeiten und Grenzen der Verwendung von Typen aufgezeigt werden. Ein Schwerpunkt liegt auf Typen in neueren objektorientierten Sprachen.

Inhalt:

Bedeutung des Begriffs Typ
Klassifikation von Programmiersprachen anhand von Typsystemen
Einfache theoretische Typmodelle (Lambda-Kalkül, Logik, Algebren)
Typen in imperativen Sprachen (hauptsächlich Ada)
Theoretische Modelle polymorpher Typsysteme und Typinferenz
Sprachen mit polymorphen Typsystemen
Verwendung polymorpher Typsysteme in objektorientierten Programmierung (Schwerpunkt)

Voraussetzungen:

Grundlegende Programmierkenntnisse werden vorausgesetzt.

Anrechenbarkeit:

Die Vorlesung ist für das Magisterstudium "Software Engineering/Internet Computing" anrechenbar.

Lehrbehelfe:

Es gibt ein Skriptum und Kopien von Folien - jeweils acht Folien auf einer Seite. Auf Bestellung beim Vortragenden sind diese Lehrbehelfe ausgedruckt erhältlich. Sie können aber auch von hier als Postscript-Dateien heruntergeladen werden:

Skriptum (komprimiert mit gzip)
Skriptum (unkomprimiert)
Folien (komprimiert mit gzip)
Folien (unkomprimiert)

Diese Unterlagen wurden auch in den vergangenen Jahren verwendet.

Zeit und Ort:

Die Vorbesprechung findet am Mittwoch, den 6. Oktober 2004 um 14:30 Uhr (pünktlich) im Freihaus HS 4 (Wiedner Hauptstraße 8, Turm B, gelber Bereich, 2. Obergeschoß) statt. Die Vorlesung wird ab 8. Oktober 2004 wöchentlich am Freitag von 9:30 bis 11:00 Uhr im EI 3A Hörsaal (altes Elektrotechnisches Institut, Gußhausstr. 25-29, 2. Stock) abgehalten.

Beurteilung:

Prüfungen sind mündlich. Prüfungstermine sind an jedem Montag von 11 bis 12 Uhr (ausser in der vorlesungsfreien Zeit) und nach Vereinbarung.

Hinweis:

Eine Vorlesung desselben Titels, aber mit nur einer Wochenstunde wurde bis zum Wintersemester 2002/2003 für das Diplomstudium Informatik angeboten. Die neue Lehrveranstaltung unterscheidet sich inhaltlich von der früheren nur unwesentlich, abgesehen davon, dass Teile der (jetzt nicht mehr abgehaltenen) VU "AK der Praktischen Informatik 2" zum Thema "Anwendungsbeispiele für Typsysteme" hineingenommen wurden.

Vortragender:

Franz Puntigam, Tel.: 58801/18514, franz@complang.tuwien.ac.at