Explicit and implicit parallel functional programming [Elektronische Ressource] : concepts and implementation / vorgelegt von Jost Berthold

Explicit and ImplicitParallel Functional Programming:Concepts and ImplementationDissertationzurErlangung des Doktorgradesder Naturwissenschaften(Dr. rer.nat.)demFachbereich Mathematik und Informatik¨der Philipps-Universitat Marburgvorgelegt vonJost Bertholdaus KasselMarburg/Lahn, 2008Vom Fachbereich Mathematik und Informatikder Philipps-Universit¨at Marburg als Dissertationam 6.6.2008 angenommen.Erstgutachter: Prof. Dr. Rita LoogenZweitgutachter: Prof. Dr. Greg MichaelsonTag der mu¨ndlichen Pru¨fung am 16.6.2008Zusammenfassung (deutsch)Die vorliegende Arbeit beschreibt Konzepte zur parallelen Programmierung mitfunktionalenSprachenundderenImplementierung,insbesondereparalleleHaskell-DialekteunddieSpracheEden. WirgehenderFragenach, welche grundlegendenKoordinationskonstrukte und welcher Grad an expliziter Ausfu¨hrungskontrollen¨otig und nu¨tzlich fu¨r eine funktionale Implementierung paralleler Koordinationsind.In der heutigen Zeit von globaler Vernetzung und Mehrkernprozessoren wirddie parallele Programmierung immer wichtiger. Dennoch sind nach wie vorProgrammiermodelle verbreitet, die kaum von den Hardwareeigenschaften ab-strahieren und sich daher zwangsl¨aufig in technischen Details verlieren. Funk-tionaleSprachenerlaubenaufgrundihrerAbstraktionundmathematischenNatur,diegegenu¨bersequenziellen Programmenerheblichh¨ohereKomplexit¨atparallelerProgramme zu erfassen, sie erm¨oglichen ein abstrakteres Nachdenken u¨ber paral-lele Programme.