Inf-DPS: Deklarative Programmiersprachen (DeklProgspr) (080039)
- Dozent/in
- Prof. Dr. Michael Hanus
- Angaben
- Vorlesung, 4 SWS, ECTS-Studium, ECTS-Credits: 8
für ERASMUS-/Austauschstudierende geeignet
Zeit und Ort: Mo 10:15 - 11:45, LMS8 - R.EG.009 (24); Di 16:15 - 17:45, LMS4 - R.526
vom 14.4.2024 bis zum 14.7.2024
- Voraussetzungen / Organisatorisches
- Alle Informationen sind unter
https://www.informatik.uni-kiel.de/~mh/lehre/dps24/
zu finden.
- Inhalt
- 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 Programme leichter
wartbar und verifizierbar, was gerade für die Zuverlässigkeit und
Sicherheit von Softwaresystemen relevant ist.
Z.B. hat kürzlich die Videospielentwicklungsfirma Epic Games
die neue deklarative Programmiersprache Verse vorgestellt,
die zur Spieleentwicklung eingesetzt wird.
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
die Grundlagen der funktionalen und logischen Programmierung vorgestellt.
- Empfohlene Literatur
- 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: Functional Logic Programming: From Theory to Curry, Programming Logics - Essays in Memory of Harald Ganzinger, Springer LNCS 7797, pp. 123-168, 2013
- R. Loogen: Integration funktionaler und logischer Programmiersprachen, Oldenbourg 1995
- H. Boley: A Tight, Practical Integration of Relations and Functions, Springer LNCS 1712, 1999
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 30
www: https://www.informatik.uni-kiel.de/~mh/lehre/dps24/
- Zugeordnete Lehrveranstaltungen
- UE: Übung zu: Deklarative Programmiersprachen (080027)
-
Dozent/in: Kai Prott, M.Sc.
Zeit und Ort: Do 10:15 - 11:45, CAP3 - Hörsaal 1
|
|