185.206 Typsysteme
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2015W, VO, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung

Ziele der Lehrveranstaltung

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

Inhalt der Lehrveranstaltung

Bedeutung von Typen in Programmiersprachen, Klassifikation von Programmiersprachen an Hand von Typsystemen, einfache theoretische Typmodelle, Typen in imperativen Sprachen (hauptsächlich Ada), theoretische Modelle polymorpher Typsysteme und Typinferenz, Sprachen mit polymorphen Typsystemen, Subtyping, Generizität, Typen als partielle Spezifikationen von Objektverhalten, Verwendung polymorpher Typsysteme in der objektorientierten Programmierung.

Didaktische Vorgehensweise:

Typsysteme ist eine Vorlesung klassischen Stils, also im Wesentlichen ein wöchentlich stattfindender Vortrag. Nach einem allgemeinen Überblick zur Begiffsbestimmung folgt der Hauptteil, in dem zyklisch wiederholt (1) praktische Erfahrungen auf einem Teilgebiet des Themas zusammengefasst, (2) darauf aufbauende formale Modelle vorgestellt und (3) typische Anwendungen der Modelle beschrieben werden (die wieder zu praktischen Erfahrungen führen), wobei die behandelten Teilgebiete in jedem Zyklus komplexer werden. Im letzten Teil der Vorlesung werden aktuelle Trends und Ansätze zur Lösung aktueller Probleme besprochen.

Weitere Informationen

ECTS-Breakdown:

  • 1 ECTS: Besuch der Vorlesungen
  • 1 ECTS: Vertiefung des Stoffs durch eiigenständige Recherchen
  • 1 ECTS: Prüfungsvorbereitung und mündliche Prüfung

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr09:00 - 11:0002.10.2015 - 22.01.2016EI 3A Hörsaal Vorlesung
Typsysteme - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr02.10.201509:00 - 11:00EI 3A Hörsaal Vorlesung
Fr09.10.201509:00 - 11:00EI 3A Hörsaal Vorlesung
Fr16.10.201509:00 - 11:00EI 3A Hörsaal Vorlesung
Fr23.10.201509:00 - 11:00EI 3A Hörsaal Vorlesung
Fr30.10.201509:00 - 11:00EI 3A Hörsaal Vorlesung
Fr06.11.201509:00 - 11:00EI 3A Hörsaal Vorlesung
Fr13.11.201509:00 - 11:00EI 3A Hörsaal Vorlesung
Fr20.11.201509:00 - 11:00EI 3A Hörsaal Vorlesung
Fr27.11.201509:00 - 11:00EI 3A Hörsaal Vorlesung
Fr04.12.201509:00 - 11:00EI 3A Hörsaal Vorlesung
Fr11.12.201509:00 - 11:00EI 3A Hörsaal Vorlesung
Fr18.12.201509:00 - 11:00EI 3A Hörsaal Vorlesung
Fr08.01.201609:00 - 11:00EI 3A Hörsaal Vorlesung
Fr15.01.201609:00 - 11:00EI 3A Hörsaal Vorlesung
Fr22.01.201609:00 - 11:00EI 3A Hörsaal Vorlesung

Leistungsnachweis

Mündliche Prüfung Prüfungstermine sind (außer in den Ferien) jeden Montag von 11 bis 12 Uhr und nach Vereinbarung.

LVA-Anmeldung

Von Bis Abmeldung bis
25.09.2015 00:00 24.10.2015 23:59

Curricula

Literatur

Ein Skriptum zur Lehrveranstaltung ist erhältlich. Siehe http://www.complang.tuwien.ac.at/franz/typsysteme.html

Vorkenntnisse

Gute praktische Programmierkenntnisse in stark typisierten Sprachen (und damit auch Wissen bezüglich des statischen Umgangs mit Typen) werden vorausgesetzt.

Sprache

Deutsch