Hauptseminar für Informatiker

Innovative Konzepte moderner Programmiersprachen

Prof. Nipkow

Sommersemester 1997

Ziel des Seminars ist es, einen Überblick über neuere Entwicklungen auf dem Gebiet der funktionalen, objekt-orientierten und logischen Programmiersprachen zu geben. Dabei wird insbesondere auf Sprachen eingegangen, die verschiedene Programmierstile kombinieren. Die Themen reichen von Benutzeroberflächenprogrammierung bis zu theoretischen Kalkülen:

Funktional:
- Typsysteme für ML und Haskell
- Benutzeroberflächen in Haskell
- Co-induktion: Beweise über unendliche (lazy) Objekte
Objekt-Orientiert:
- Objektorientiertes ML
- Funktionales Java
- Inheritance ist nicht Subtyping
- Objektkalküle
Logisch:
- Logisch-funktionale Programmierung
- lambda-Prolog
- Die Warren Abstract Machine

Das Seminar findet jeweils donnerstags um 14ct -- 16st statt.

Die Vorbesprechung mit Themenvergabe findet am Freitag, den 21. Februar 1997, um 13:15 im Raum S3224 statt.

Weitere Information gibt es bei Cornelia Pusch, Raum S 2240, Tel. 289-28490