Structured generic programming in Eden [Elektronische Ressource] / vorgelegt von Steffen Priebe

Structured Generic Programmingin EdenDissertationzurErlangung des Doktorgradesder Naturwissenschaften(Dr. rer. nat.)demFachbereich Mathematik und Informatikder Philipps-Universitat¤ Marburgvorgelegt vonSteffen Priebeaus Marburg/LahnMarburg/Lahn 2007Vom Fachbereich Mathematik und Informatik¤der Philipps-Universitat Marburg als Dissertation am 3. Februar 2007 angenommen.Erstgutachterin: Prof. Dr. Rita LoogenZweitgutachter: Hochschuldozent Dr. Ralf Hinze, Universitat¤ BonnTag der mundlic¤ hen Prufung¤ am 9. Februar 2007ZusammenfassungDie Ausnutzung von Parallelitat¤ ist schon immer eine fur¤ den Benutzer unsichtba-re, aber gro e Quelle zur Verbesserung der Prozessorleistung gewesen. Da aber dieMenge an implizit nutzbarer Parallelitat¤ auf Befehlsebene begrenzt ist und gleich-¤ ¤ ¤zeitig immer gro ere Rechenleistungen benotigt werden, erleben wir gegenwartigeine Renaissance expliziter paralleler Techniken sowohl auf Hardware- als auchauf Softwareebene. Aufgrund ihrer Komplexitat¤ sind parallele Systeme mit tra-ditionellen Programmiersprachen schwer zu handhaben. Deshalb werden zuneh-mend abstrakterehen betrachtet. Eden ist eine solche Spra-che, die Programmkonstrukte zur gleichzeitigen Auswertung von Ausdruc¤ ken indie funktionalehe Haskell integriert.