Parallele Implementierung funktionaler Programmiersprachen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1990
|
| Schriftenreihe: | Informatik-Fachberichte
232 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 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 |
| Beschreibung: | 1 Online-Ressource (IX, 385S.) |
| ISBN: | 9783642753329 9783540520498 |
| ISSN: | 0343-3005 |
| DOI: | 10.1007/978-3-642-75332-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042433085 | ||
| 003 | DE-604 | ||
| 005 | 20190514 | ||
| 006 | a m||| 00||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1990 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642753329 |c Online |9 978-3-642-75332-9 | ||
| 020 | |a 9783540520498 |c Print |9 978-3-540-52049-8 | ||
| 024 | 7 | |a 10.1007/978-3-642-75332-9 |2 doi | |
| 035 | |a (OCoLC)863812470 | ||
| 035 | |a (DE-599)BVBBV042433085 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 005.11 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Loogen, Rita |d 1961- |e Verfasser |0 (DE-588)1145592260 |4 aut | |
| 245 | 1 | 0 | |a Parallele Implementierung funktionaler Programmiersprachen |c von Rita Loogen |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1990 | |
| 300 | |a 1 Online-Ressource (IX, 385S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Informatik-Fachberichte |v 232 |x 0343-3005 | |
| 500 | |a 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 | ||
| 502 | |a Zugl.: Aachen, Techn. Hochsch., Diss., 1989 | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Processor Architectures | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Frau |0 (DE-588)4018202-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelrechner |0 (DE-588)4173280-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Sterilität |0 (DE-588)4057338-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatische Parallelisierung |0 (DE-588)4203963-0 |2 gnd |9 rswk-swf |
| 651 | 7 | |a Afrika |0 (DE-588)4000695-5 |2 gnd |9 rswk-swf | |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Afrika |0 (DE-588)4000695-5 |D g |
| 689 | 0 | 1 | |a Frau |0 (DE-588)4018202-2 |D s |
| 689 | 0 | 2 | |a Sterilität |0 (DE-588)4057338-2 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |D s |
| 689 | 1 | 1 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |D s |
| 689 | 1 | 2 | |a Parallelrechner |0 (DE-588)4173280-7 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |D s |
| 689 | 2 | 1 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 689 | 3 | 0 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |D s |
| 689 | 3 | 1 | |a Automatische Parallelisierung |0 (DE-588)4203963-0 |D s |
| 689 | 3 | |8 4\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-75332-9 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027868416 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153118025318400 |
|---|---|
| any_adam_object | |
| author | Loogen, Rita 1961- |
| author_GND | (DE-588)1145592260 |
| author_facet | Loogen, Rita 1961- |
| author_role | aut |
| author_sort | Loogen, Rita 1961- |
| author_variant | r l rl |
| building | Verbundindex |
| bvnumber | BV042433085 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863812470 (DE-599)BVBBV042433085 |
| dewey-full | 005.11 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.11 |
| dewey-search | 005.11 |
| dewey-sort | 15.11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-642-75332-9 |
| format | Thesis Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04564nmm a2200841zcb4500</leader><controlfield tag="001">BV042433085</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190514 </controlfield><controlfield tag="006">a m||| 00||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1990 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642753329</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-75332-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540520498</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-52049-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-75332-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863812470</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042433085</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.11</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Loogen, Rita</subfield><subfield code="d">1961-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1145592260</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Parallele Implementierung funktionaler Programmiersprachen</subfield><subfield code="c">von Rita Loogen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 385S.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Informatik-Fachberichte</subfield><subfield code="v">232</subfield><subfield code="x">0343-3005</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Aachen, Techn. Hochsch., Diss., 1989</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Processor Architectures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Frau</subfield><subfield code="0">(DE-588)4018202-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelrechner</subfield><subfield code="0">(DE-588)4173280-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sterilität</subfield><subfield code="0">(DE-588)4057338-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatische Parallelisierung</subfield><subfield code="0">(DE-588)4203963-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="651" ind1=" " ind2="7"><subfield code="a">Afrika</subfield><subfield code="0">(DE-588)4000695-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Afrika</subfield><subfield code="0">(DE-588)4000695-5</subfield><subfield code="D">g</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Frau</subfield><subfield code="0">(DE-588)4018202-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Sterilität</subfield><subfield code="0">(DE-588)4057338-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Parallelrechner</subfield><subfield code="0">(DE-588)4173280-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Automatische Parallelisierung</subfield><subfield code="0">(DE-588)4203963-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-75332-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027868416</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| geographic | Afrika (DE-588)4000695-5 gnd |
| geographic_facet | Afrika |
| id | DE-604.BV042433085 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:31Z |
| institution | BVB |
| isbn | 9783642753329 9783540520498 |
| issn | 0343-3005 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027868416 |
| oclc_num | 863812470 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (IX, 385S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Informatik-Fachberichte |
| spelling | Loogen, Rita 1961- Verfasser (DE-588)1145592260 aut Parallele Implementierung funktionaler Programmiersprachen von Rita Loogen Berlin, Heidelberg Springer Berlin Heidelberg 1990 1 Online-Ressource (IX, 385S.) txt rdacontent c rdamedia cr rdacarrier Informatik-Fachberichte 232 0343-3005 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 Zugl.: Aachen, Techn. Hochsch., Diss., 1989 Computer science Logic design Computer Science Programming Techniques Programming Languages, Compilers, Interpreters Processor Architectures Computation by Abstract Devices Logics and Meanings of Programs Informatik Funktionale Programmiersprache (DE-588)4129948-6 gnd rswk-swf Frau (DE-588)4018202-2 gnd rswk-swf Implementierung Informatik (DE-588)4026663-1 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf Parallelrechner (DE-588)4173280-7 gnd rswk-swf Sterilität (DE-588)4057338-2 gnd rswk-swf Automatische Parallelisierung (DE-588)4203963-0 gnd rswk-swf Afrika (DE-588)4000695-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Afrika (DE-588)4000695-5 g Frau (DE-588)4018202-2 s Sterilität (DE-588)4057338-2 s 1\p DE-604 Funktionale Programmiersprache (DE-588)4129948-6 s Implementierung Informatik (DE-588)4026663-1 s Parallelrechner (DE-588)4173280-7 s 2\p DE-604 Parallelverarbeitung (DE-588)4075860-6 s 3\p DE-604 Automatische Parallelisierung (DE-588)4203963-0 s 4\p DE-604 https://doi.org/10.1007/978-3-642-75332-9 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Loogen, Rita 1961- Parallele Implementierung funktionaler Programmiersprachen Computer science Logic design Computer Science Programming Techniques Programming Languages, Compilers, Interpreters Processor Architectures Computation by Abstract Devices Logics and Meanings of Programs Informatik Funktionale Programmiersprache (DE-588)4129948-6 gnd Frau (DE-588)4018202-2 gnd Implementierung Informatik (DE-588)4026663-1 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Parallelrechner (DE-588)4173280-7 gnd Sterilität (DE-588)4057338-2 gnd Automatische Parallelisierung (DE-588)4203963-0 gnd |
| subject_GND | (DE-588)4129948-6 (DE-588)4018202-2 (DE-588)4026663-1 (DE-588)4075860-6 (DE-588)4173280-7 (DE-588)4057338-2 (DE-588)4203963-0 (DE-588)4000695-5 (DE-588)4113937-9 |
| title | Parallele Implementierung funktionaler Programmiersprachen |
| title_auth | Parallele Implementierung funktionaler Programmiersprachen |
| title_exact_search | Parallele Implementierung funktionaler Programmiersprachen |
| title_full | Parallele Implementierung funktionaler Programmiersprachen von Rita Loogen |
| title_fullStr | Parallele Implementierung funktionaler Programmiersprachen von Rita Loogen |
| title_full_unstemmed | Parallele Implementierung funktionaler Programmiersprachen von Rita Loogen |
| title_short | Parallele Implementierung funktionaler Programmiersprachen |
| title_sort | parallele implementierung funktionaler programmiersprachen |
| topic | Computer science Logic design Computer Science Programming Techniques Programming Languages, Compilers, Interpreters Processor Architectures Computation by Abstract Devices Logics and Meanings of Programs Informatik Funktionale Programmiersprache (DE-588)4129948-6 gnd Frau (DE-588)4018202-2 gnd Implementierung Informatik (DE-588)4026663-1 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Parallelrechner (DE-588)4173280-7 gnd Sterilität (DE-588)4057338-2 gnd Automatische Parallelisierung (DE-588)4203963-0 gnd |
| topic_facet | Computer science Logic design Computer Science Programming Techniques Programming Languages, Compilers, Interpreters Processor Architectures Computation by Abstract Devices Logics and Meanings of Programs Informatik Funktionale Programmiersprache Frau Implementierung Informatik Parallelverarbeitung Parallelrechner Sterilität Automatische Parallelisierung Afrika Hochschulschrift |
| url | https://doi.org/10.1007/978-3-642-75332-9 |
| work_keys_str_mv | AT loogenrita paralleleimplementierungfunktionalerprogrammiersprachen |