Themen Informatik-Seminar WS2004/05:
Programmierkonzepte und Programmiersprachen

Vorlesungsplan

Das Seminar findet ab dem 9.11.2004 dienstags doppelstündig von 9:30 bis 10:45 und 11:00 bis 12:15 im Seminarraum 7 (2. Stock Überbau) statt.

Gäste sind herzlich willkommen.

Teilnahme

Die Teilnahme an den Seminarvorträgen ist Pflicht. In diesem Seminar bauen die Themen aufeinander auf, so dass das Verständnis der späteren Vorträge nur mit den Vorkenntnissen der ersten Vorträge möglich ist. Gründe für die Nichtteilnahme sind ausschließlich FH-interne Überschneidungen und Krankheit. Sollte jemand 2 mal oder häufiger aus anderen Gründen nicht an dem Seminar teilnehmen, gilt das Seminar als nicht erfolgreich abgeschloßen.

Vorträge

    9.11.2004 um 9:30
    Prinzipien für den Entwurf von Programmiersprachen
    Kapitel 3, Programming Languages, Principles and Practice

    Björn Hensen

    9.11.2004 um 11:00
    Funktionale Programmierung am Beispiel von Scheme
    Kapitel 11.1 bis 11.3, Programming Languages, Principles and Practice

    Stephan Heinemann

    16.11.2004 um 9:30
    Grundlagen der funktionalen Programmierung
    Rekursive Funktionen und der Lambda-Kalkül
    Kapitel 11.7 und 11.8, Programming Languages, Principles and Practice

    Enno Cramer

    16.11.2004 um 11:00
    Statische Typüberprüfung am Beispiel von Haskell (und ML)
    Kapitel 11.4, Programming Languages, Principles and Practice

    Carsten Ehlers

    23.11.2004 um 9:30
    Logische Programmierung
    Logische Programme, Horn-Klauseln, Resolution und Unifikation am Beispiel von Prolog
    Kapitel 12.1 bis 12.5, Programming Languages, Principles and Practice

    Kinga Nowacka

    23.11.2004 um 11:00.
    Logische Programmierung mit Einschränkungen
    Constraint Logic Programming Kapitel 12.6, Programming Languages, Principles and Practice

    Jan Töwe

    30.11.2004 um 9:30
    Die Semantik von Programmiersprachen: Der operationelle Ansatz
    Kapitel 13.1 und 13.2, Programming Languages, Principles and Practice

    Lilli Dreher

    30.11.2004 um 11:00
    Die Semantik von Programmiersprachen: Der denotationelle Ansatz
    Kapitel 13.1 und 13.3, Programming Languages, Principles and Practice

    Benjamin Wertz

    7.12.2004 um 9:30
    Die Semantik von Programmiersprachen: Der axiomatische Ansatz
    Kapitel 13.4, Programming Languages, Principles and Practice

    Jens Neldner

    7.12.2004 um 11:00
    Paralleles Programmieren
    Konzepte, Threads, Semaphore, Monitore, Nachrichten, Rendezvous
    Kapitel 14, Programming Languages, Principles and Practice

    Stefan Rath

    14.12.2004 um 9:30
    Kombination von funktionalen und objektorientierten Konzepten am Beispiel von OCaml

    Sven Nowak

    14.12.2004 um 11:00
    Garbage Collection Algorthmen und Techniken
    in Java und anderen Sprachen

    Gerold Veith

    21.12.2004 um 9:30
    Ruby
    Yet another scripting language?

    Sebastian Schlatt

Ausarbeitung

Die Ausarbeitungen sollen als Hypertext-Dokument in HTML erstellt werden und zu einem Dokument zusammengefaßt und auf dem WWW-Server der FH Wedel veröffentlicht werden.

Die Form der Ausarbeitung und die Organisation der Dokumente ist wie in den letzten Seminaren z. B. aus den Wintersemestern 2001/02, 2002/03 und 2003/04 zu organisieren. Der Layoutvorschlag ist im 1.Vortrag des 96/97er Seminars beschrieben.

Literatur

Kenneth C. Louden
Programming Languages
Principles and Practice
second edition
Brooks/Cole-Thomson Learning
ISBN 0-534-95341-7

Dieses Buch ist gegeignet als Einstieg in die Thematik und als Ausgangspunkt für die Mehrheit der Themen, geeignete Spezial- und Original-Literatur ist für die Bearbeitung der Themen hinzuzuziehen.

Links

PLT Scheme
SWI-Prolog, GNU Prolog
The Eclipse Constraint Logic Programming System
OCaml
Ruby
Haskell
Wikipedia

Mailing-Liste

alle Teilnehmer