VL: Parallelität in funktionalen Sprachen
12 113 11553 Parallelität in funktionalen Sprachen
Prof. Dr. R. Loogen
Mittwochs, 10.15 - 11.45 Uhr, HS IV (Lahnberge)
Beginn: 17. Oktober 2012
Achtung: Am Mittwoch, dem 6. Februar 2013 entfällt die Vorlesung krankheitsbedingt.
Übungen Mischa Dieterle
Donnerstags, 12.30 - 14.00 Uhr, SR V (Raum 05D36, Lahnberge) bzw. Rechnerraum auf D5 (05D08) (Achtung neuer Termin!)
Beginn: 18. Oktober 2012, 12.15 Uhr im Rechnerraum auf D5 (05D08)
Fachgebiet Klassifikation Semester Leistungspunkte (ECTS) Skript
Informatik Hauptstudium, Vertiefungsmodul, Theoretische Informatik >=3 6 teilweise

Voraussetzungen: Grundkenntnisse in funktionaler Programmierung
Querverbindungen: -
Scheinkriterien: Erfolgreiche Bearbeitung von 50% der Übungsaufgaben und Kolloquium
Durch das Vorrechnen von Übungsaufgaben im Tutorium können Bonuspunkte erworben werden.


Übungsblätter: ...erscheinen mittwochs über das Ilias-System.
Die Aufgaben sind am darauffolgenden Mittwoch vor der Vorlesung abzugeben. Programmieraufgaben senden Sie zusätzlich an dieterle[at]mathematik.uni-marburg.de


Inhalt:
  1. Grundbegriffe und Klassifikation paralleler funktionaler Sprachen
  2. Hauptmerkmale und Eigenschaften funktionaler Sprachen
  3. Implizite Kontrollparallelität
  4. Die Kernsprache Mini-Haskell
  5. Striktheitsanalyse
  6. Kontrollierte Parallelität
  7. Prozesskontrollsprachen, Algorithmische Skelette
  8. Explizite Parallelität
  9. Nebenläufigkeit
  10. Datenparallelität


Zuletzt geändert: Wednesday, 06-Feb-2013 09:55:43 CET