Achtung: Diese Veranstaltung entfällt leider!
VL: Parallelität in funktionalen Sprachen
12 113 11553 Parallelität in funktionalen Sprachen
Prof. Dr. R. Loogen
Donnerstags, 9.00 - 11.30 Uhr, HS IV (Lahnberge)
Beginn: 18. Oktober 2007
Übungen Jost Berthold
Montags, 11 - 13 Uhr, HS I
Beginn: 22. Oktober 2007
Fachgebiet Klassifikation Semester Leistungspunkte (ECTS) Skript
Informatik Hauptstudium, Theoretische Informatik >=3 7 nein

Voraussetzungen: Grundkenntnisse in funktionaler Programmierung
Querverbindungen: -
Scheinkriterien: Erfolgreiche Bearbeitung von 50% der Übungsaufgaben und Kolloquium


[an error occurred while processing this directive]
Literatur:
  • K. Hammond, G. Michaelson (eds.): Research Directions in Parallel Functional Programming, Springer-Verlag 1999
    (Siehe Semesterapparat Prof. Loogen in der Fachbereichsbibliothek!)
    Buchbeschreibung
  • John Hughes: Why Functional Programming Matters (pdf)
    Computer Journal 32(2), 1989, pp 98-107
  • Phil Wadler: Functional Programming: Why no one uses functional languages (ps)
    SIGPLAN Notices 33(8):23-27, August 1998
  • Chris Clack and Simon L Peyton-Jones: Strictness analysis - a practical approach (ps), Proceedings IFIP International Conference on Functional Programming Languages and Computer Architecture (FPCA), Nancy (France), Springer-Verlag LNCS 201, pp 35-49, September 1985.
  • Phil W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon Peyton Jones: Algorithm + Strategy = Parallelism (ps), Journal of Functional Programming 8(1):23--60, January 1998.
  • Ulrike Klusik, Rita Loogen, Steffen Priebe: Controlling Parallelism and Data Distribution in Eden (ps), 2nd Scottish Functional Programming Workshop, St. Andrews 2000, Intellect, 2001.


Inhalt:
  1. Klassifikation paralleler funktionaler Sprachen
  2. Implizite Kontrollparallelität
  3. Die Kernsprache Mini-Haskell
  4. Striktheitsanalyse
  5. Kontrollierte Parallelität
  6. Prozeßkontrollsprachen, Algorithmische Skelette, Kostenmodelle
  7. Explizite Parallelität
  8. Datenparallelität


Zuletzt geändert: Wednesday, 19-Sep-2007 18:17:00 CEST