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.

2012W, 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:4505.10.2012 - 25.01.2013EI 3A Hörsaal Lecture
Type Systems - Single appointments
DayDateTimeLocationDescription
Fri05.10.201209:15 - 10:45EI 3A Hörsaal Lecture
Fri12.10.201209:15 - 10:45EI 3A Hörsaal Lecture
Fri19.10.201209:15 - 10:45EI 3A Hörsaal Lecture
Fri09.11.201209:15 - 10:45EI 3A Hörsaal Lecture
Fri16.11.201209:15 - 10:45EI 3A Hörsaal Lecture
Fri23.11.201209:15 - 10:45EI 3A Hörsaal Lecture
Fri30.11.201209:15 - 10:45EI 3A Hörsaal Lecture
Fri07.12.201209:15 - 10:45EI 3A Hörsaal Lecture
Fri14.12.201209:15 - 10:45EI 3A Hörsaal Lecture
Fri21.12.201209:15 - 10:45EI 3A Hörsaal Lecture
Fri11.01.201309:15 - 10:45EI 3A Hörsaal Lecture
Fri18.01.201309:15 - 10:45EI 3A Hörsaal Lecture
Fri25.01.201309:15 - 10:45EI 3A Hörsaal Lecture
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