| Nr. | Art | Termine | Raum | Veranstalter |
|---|---|---|---|---|
| 080130 | V4 | Mo 10:15 - 11:45 | LMS2 - Ü1 | M. Hanus |
| Di 12:15 - 13:45 | LMS2 - Ü1 | |||
| 080129 | Ü2 | Mi 14 - 16 | LMS2 - Ü2 | M. Hanus, S. Fischer |
Studierende im Hauptstudium beider Informatik-Studiengänge (Dipl.-Inf. und Dipl.-Ing.), Studierende im Bachelor- oder Masterstudiengang Informatik sowie Studierende mit Nebenfach Informatik
Grundstudium
1. Vorlesung: Montag, 16.4.2007, 10:15 Uhr
Aufgrund der Komplexität heutiger Software-Systeme ist die Verwendung von Programmiersprachen mit einem hohen Abstraktionsniveau notwendig. Deklarative Sprachen bieten hierzu wichtige Lösungsansätze. Aufgrund ihrer deklarativen Struktur sind die Programme leichter wartbar und verifizierbar (man denke an die immer wichtiger werdenden Sicherheitsaspekte wie z.B. im Internet). In dieser Vorlesung werden Konzepte moderner deklarativer Programmiersprachen vorgestellt.Ausgehend von dem aus dem Grundstudium bekannten Konzept der funktionalen Programmierung, das kurz wiederholt und eingehender erläutert wird, werden funktionale Sprachen um logische Anteile erweitert, um die Konzepte der funktionalen, logischen und integrierten logisch-funktionalen Sprachen in einem einheitlichen Rahmen darzustellen. Außerdem werden Techniken und Erweiterungen zur nebenläufigen und objektorientierten Programmierung vorgestellt, mit denen es möglich ist, verteilte Systeme (z.B. Internet-basiert) effizient zu implementieren.
In den begleitenden Übungen werden für praktische Programmieraufgaben die Sprachen Haskell und Curry eingesetzt, für die es frei verfügbare Implementierungen für Unix- und Linux-Systeme gibt. Informationen zu den Übungen und zur Benutzung von Haskell und Curry kann man hier finden.
Weitere Literatur wird in der Vorlesung bekanntgegeben.
- P. Hudak: The Haskell School of Expression: Learning Functional Programming through Multimedia, Cambridge University Press, 1999
- S. Thompson: Haskell - The Craft of Functional Programming, Addison-Wesley, 1996
- L. Sterling, E. Shapiro: The Art of Prolog, 2nd Ed., MIT Press, 1994
- M. Hanus: The Integration of Functions into Logic Programming: From Theory to Practice, Journal of Logic Programming, Vol. 19,20, pp. 583-628, 1994
- R. Loogen: Integration funktionaler und logischer Programmiersprachen, Oldenbourg 1995
- H. Boley: A Tight, Practical Integration of Relations and Functions, Springer LNCS 1712, 1999
- Armstrong et al: Concurrent Programming in Erlang, Prentice Hall, 1996
Die Modulprüfung für Bachelor-, Master- und Diplomstudierende findem am 27./28.8.2007 statt. Die genauen Termine werden am Ende der Vorlesung vereinbart.