Deskriptive Programmierung, Sommersemester 2012

Jun.-Prof. Dr. Janis Voigtländer

Für die entsprechende Vorlesung im Sommersemester 2016, siehe hier.

Einträge im Vorlesungsverzeichnis:

Gastvorlesung:

Johannes Waldmann zum Thema "Automatische Analyse von Termination und Komplexität von (funktionalen) Programmen"

Inhaltliche Zusammenfassung:

Die Vorlesung vermittelt gemeinsame Grundlagen deskriptiver Programmiersprachen. Ziel der deskriptiven Prorammierung ist die Vereinfachung des Programmierprozesses. Im Idealfall beschränkt man sich bei diesem Programmierstil auf die Beschreibung eines Problems (das "Was"), während die Operationalisierung der Beschreibung (das "Wie") von der Programmiersprache automatisch geleistet wird. Die beiden wesentlichen Richtungen dieser Programmierform, die logische und die funktionale Programmierung, werden vorgestellt. Wichtige Vertreter der beiden Richtungen, insbesondere Prolog und Haskell, werden in ihren Grundzügen eingeführt und in den Übungen vertieft.

Materialien (Folien, Übungsblätter) zur Vorlesung finden sich auf eCampus.

Lehrbücher:

Online-Ressourcen:

Software:

Weiterführendes Material:

Zuletzt geändert: April 2012, Janis Voigtlaender.