185.206 Type Systems
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2011W, VO, 2.0h, 3.0EC, to be held in blocked form

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture

Aim of course

Students shall get an overview of type systems in programming languages and learn about their pros and cons. Especially the potentialities and limits in the practical use of types shall be shown. The focus is on types on modern object-oriented programming languages.

Subject of course

Meaning of the notion of type in programming languages, classification of programming languages regarding type systems, simple theoretical type models, types in imperative languages (especially Ada), theoretical models of polymorphic type systems and type inference, programming languages with polymorphic type systems, subtyping, genericity, types as partial specifications of object behariour, use of polymorphic type systems in object-oriented programming.

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Fri09:15 - 10:4507.10.2011 - 27.01.2012EI 3A Hörsaal Lecture
Fri09:15 - 10:4514.10.2011 - 27.01.2012EI 3A Hörsaal PUNTIGAM
Type Systems - Single appointments
DayDateTimeLocationDescription
Fri07.10.201109:15 - 10:45EI 3A Hörsaal Lecture
Fri14.10.201109:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri14.10.201109:15 - 10:45EI 3A Hörsaal Lecture
Fri21.10.201109:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri21.10.201109:15 - 10:45EI 3A Hörsaal Lecture
Fri28.10.201109:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri28.10.201109:15 - 10:45EI 3A Hörsaal Lecture
Fri04.11.201109:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri04.11.201109:15 - 10:45EI 3A Hörsaal Lecture
Fri11.11.201109:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri11.11.201109:15 - 10:45EI 3A Hörsaal Lecture
Fri18.11.201109:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri18.11.201109:15 - 10:45EI 3A Hörsaal Lecture
Fri25.11.201109:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri25.11.201109:15 - 10:45EI 3A Hörsaal Lecture
Fri02.12.201109:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri02.12.201109:15 - 10:45EI 3A Hörsaal Lecture
Fri09.12.201109:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri09.12.201109:15 - 10:45EI 3A Hörsaal Lecture
Fri16.12.201109:15 - 10:45EI 3A Hörsaal PUNTIGAM
Course is held blocked

Examination modalities

By interview Interviews can be taken each Monday (11 to 12, except during holydays) as well as by negotiation.

Course registration

Not necessary

Curricula

Study CodeObligationSemesterPrecon.Info
066 931 Computational Intelligence Mandatory elective
066 937 Software Engineering & Internet Computing Not specified

Literature

Lecture notes for this course are available. Siehe http://www.complang.tuwien.ac.at/franz/typsysteme.html

Language

German