Typsysteme
LVA 185.206, VO 2.0, 2007 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:

Voraussetzungen:

Programmierkenntnisse werden vorausgesetzt.

Anrechenbarkeit:

Die Vorlesung ist für das Magisterstudium Software Engineering / Internet Computing 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
Skriptum im Postscript-Format (komprimiert mit gzip)
Folien zu Kapitel 1 (.pdf, .ps.gz)
Folien zu Kapitel 2 (.pdf, .ps.gz)
Folien zu Kapitel 3 (.pdf, .ps.gz)
Folien zu Kapitel 4 (.pdf, .ps.gz)
Folien zu Kapitel 5 (.pdf, .ps.gz)

Zeit und Ort:

Eine Vorbesprechung findet am Mittwoch, den 3. Oktober 2007 von 14:30 bis 15:00 Uhr (pünktlich) im FH HS 4 statt. Die Vorlesung wird ab 5. Oktober 2007 jeden Freitag von 9:30 bis 11:00 Uhr (s.t.) im EI 3A (altes EI, 2. Stock) stattfinden.

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
Complang
Puntigam
   Über mich
   Research
   Lehre
      LVAs 2017 W
      LVAs 2017 S
      frühere Lehre
         LVAs 2016 W
         LVAs 2016 S
         LVAs 2015 W
         LVAs 2015 S
         LVAs 2014 W
         LVAs 2014 S
         LVAs 2013 W
         LVAs 2013 S
         LVAs 2012 W
         LVAs 2012 S
         LVAs 2011 W
         LVAs 2011 S
         LVAs 2010 W
         LVAs 2010 S
         LVAs 2009 W
         LVAs 2009 S
         LVAs 2008 W
         LVAs 2008 S
         LVAs 2007 W
            OOP
            Typsysteme
            Seminar
         LVAs 2007 S
         LVAs 2006 W
         LVAs 2006 S
         LVAs 2005 W
         LVAs 2005 S
         LVAs 2004 W
         LVAs 2004 S
         LVAs 2003 W
   Links
Sitemap
Kontakt
Schnellzugriff:
TUWIS++
voriges Jahr
nächstes Jahr
Fakultät für Informatik
Technische Universität Wien
Anfang | HTML 4.01 | letzte Änderung: 2007-08-22 (Puntigam)