Typsysteme
LVA 185.206, VO 2.0, 2009 W
Typsysteme
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 der objektorientierten Programmierung (Schwerpunkt)
Voraussetzungen:
Programmierkenntnisse werden vorausgesetzt.
Anrechenbarkeit:
Die Vorlesung ist für das Magisterstudium
Software Engineering / Internet Computing
als Wahlfach mit 3 ETCS-Punkten anrechenbar.
Lehrbehelfe:
Ein
Skriptum und Kopien von Folien stehen zum Download bereit.
Dieselben Unterlagen wurden auch in den letzten Jahren verwendet.
- Skriptum im PDF-Format
- Folien zu Kapitel 1
- Folien zu Kapitel 2
- Folien zu Kapitel 3
- Folien zu Kapitel 4
- Folien zu Kapitel 5
Zeit und Ort:
Die Vorlesung wird vom 2. Oktober 2009 bis 22. Jänner 2010 jeden Freitag von 9:15 bis 10:45 Uhr (pünktlich) im EI 3A (altes EI, 2. Stock) stattfinden.
Eine Vorbesprechung wird es zu Beginn der ersten Vorlesungseinheit am 2. Oktober geben.
Eine weitere kurze Vorbesprechung desselben Inhalts wird es im Rahmen einer Informationsveranstaltung über das Angebot an Wahllehrveranstaltungen der Complang-Gruppe am 7. Oktober 2009 von 11:00 bis 12:00 Uhr im EI4 geben.
Beurteilung:
Prüfungen sind mündlich.
Prüfungstermine sind an jedem Montag von 11 bis 12 Uhr (außer in der vorlesungsfreien Zeit) und nach Vereinbarung.
Vortragender:
Franz Puntigam
Tel.: 58801/18514
franz@complang.tuwien.ac.at