书目名称 | Parallele Implementierung funktionaler Programmiersprachen |
编辑 | Rita Loogen |
视频video | |
丛书名称 | Informatik-Fachberichte |
图书封面 |  |
描述 | Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis für die Programmierung von Parallelrechnern. Sie enthalten in der Regel keine expliziten Sprachkonstrukte zur Spezifizierung von Parallelität. Ein parallelisierender Compiler kann die in einem funktionalen Programm implizit enthaltene Parallelität entdecken und das Progamm in parallel ausführbare Prozesse zerlegen. Der Programmierer braucht sich also nicht, wie etwa in einer um Parallelkonstrukte erweiterten imperativen Programmiersprache, um die Verwaltung der parallelen Prozesse sowie Synchronisation und Kommunikation zu kümmern. Dies vereinfacht insbesondere die Programmierung von Systemen mit vielen Prozessoren. Auf der Grundlage einer einfachen funktionalen Beispielsprache, die den Kern aller funktionalen Sprachen umfaßt, werden in diesem Buch die Techniken zur automatischen Parallelisierung funktionaler Programme erläutert und formal spezifiziert. Im Vordergrund steht jedoch der sprachorientierte Entwurf einer Parallelrechnerarchitektur, die die Ausführung funktionaler Programme in besonderer Weise unterstützt. |
出版日期 | Book 1990 |
关键词 | Algorithmen; Compiler; Funktionale Programmierung; Parallelverarbeitung; Programmiersprache; Programmieru |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-642-75332-9 |
isbn_softcover | 978-3-540-52049-8 |
isbn_ebook | 978-3-642-75332-9Series ISSN 0343-3005 |
issn_series | 0343-3005 |
copyright | Springer-Verlag Berlin Heidelberg 1990 |