Universität Karlsruhe
Höhere Programmiersprachen WS 2005/06

Ort und Zeit

Montags, 14:00-15:30 -102 50.34

Vorkenntnisse

Informatik I, II, praktische Kenntnisse in wenigstens einer Programmiersprache sind hilfreich

Lernziele

Die Vorlesung gibt einen Überblick ĂĽber die Grundlagen und Konzepte moderner Programmiersprachen. Hierbei werden funktionale, objektorientierte und Skriptsprachen betrachtet.

Folien

Datum Thema Folien
24.10.05 Einführung und λ-Kalkül PDF
31.10.05 Bindung und Typen PDF
07.11.05 Typen, Konzepte imperativer Sprachen PDF
14.11.05 Konzepte imperativer Sprachen PDF
21.11.05 Konzepte objektorientierter Sprachen PDF
28.11.05 Skriptsprachen PDF
05.11.05 Fortran, Cobol PDF PDF
12.12.05 ML PDF
19.12.05 Typinferenz PDF
09.01.06 Prolog PDF
16.01.06 Formale Semantik Einführung und ASMs PDF
23.01.06 Operationale Semantik PDF
30.01.06 Denotationelle Semantik PDF

Hier gibt es die Folien vom letzten Jahr

Literatur

Hier eine kleine Zusammenstellung von relevanter Literatur zur Vorlesung. Die Bücher muss man nicht von vorne bis hinten durchlesen. Meist sind nur einige Kapitel relevant. Das Buch von Sebesta enthält eine leicht lesbare Übersicht über den Stoff der Vorlesung.

Allgemein

Autor Titel Verlag ISBN Kommentare
Robert Sebesta Concepts of Programming Languages Pearson Addison-Wesley 0-321-20458-1 Übersicht über hauptsächlich imperative Sprachen. Leicht zu lesen. Gut zur Orientierung
Benjamin C. Pierce Types and Programming Languages The MIT Press 0-262-16209-1 Einführung in Typ-Systeme. Enthält u.a. eine sehr gute Einführung in den λ-Kalkül (getypt und ungetypt). Geht weit über den Rahmen der Vorlesung hinaus.

λ-Kalkül

Autor Titel Verlag ISBN Kommentare
G. Revesz Lambda-Calculus Combinators and Funtional Programming Cambridge University Press 0-521-34589-8 Gute Einführung in den λ-Kalkül
Simon L. Peyton Jones The Implementation of Functional Programming Languages Prentice-Hall 0-13-453333-X Die Einleitung enthält eine sehr gute Darstellung der Grundlagen des λ-Kalküls

Formale Semantik

Autor Titel Verlag ISBN Kommentare
Hanne Riis Nielson, Flemming Nielson Semantics with Applications: A Formal Introduction. Wiley 0-471-92980-8 Auch online verfügbar


Verantwortlich fĂĽr den Inhalt: Sebastian Hack

Login
Links