Parallele Implementierung funktionaler Programmiersprachen [electronic resource] /

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.

Saved in:
Bibliographic Details
Main Authors: Loogen, Rita. author., SpringerLink (Online service)
Format: Texto biblioteca
Language:ger
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990
Subjects:Computer science., Microprocessors., Architecture, Computer., Computer programming., Programming languages (Electronic computers)., Computers., Computer logic., Computer Science., Programming Techniques., Computer System Implementation., Programming Languages, Compilers, Interpreters., Processor Architectures., Computation by Abstract Devices., Logics and Meanings of Programs.,
Online Access:http://dx.doi.org/10.1007/978-3-642-75332-9
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:218948
record_format koha
spelling KOHA-OAI-TEST:2189482018-07-30T23:55:35ZParallele Implementierung funktionaler Programmiersprachen [electronic resource] / Loogen, Rita. author. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1990.gerFunktionale 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.I: Grundlagen -- 1. SAL — eine einfache funktionale Sprache -- 2. Implementierungstechniken -- 3. Parallele Rechnerarchitekturen -- II: Parallelisierung funktionaler Programme -- 4. Organisation der Parallelisierung -- 5. Entschachtelung von SAL-Programmen -- 6. Entdeckung potentieller Parallelität -- 7. Einteilung in parallele Prozesse -- 8. Eine Graphreduktionssemantik für parallelisierte Kombinatorsysteme -- III: Entwurf einer parallelen Graphreduktionsmaschine -- 9. Struktur der parallelen Maschine -- 10. Organisation der programmierten Graphreduktion -- 11. Verwaltung der Parallelität -- 12. Implementierungsaspekte -- 13. Vergleich mit anderen Arbeiten 349 -- Schlußworte -- Anhang: Mathematische Grundlagen -- A.l Algebraische Grundlagen -- A.2 Halbordnungen -- A.3 Interpretationen -- A.4 Der ungetypte ?-Kalkül.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.Computer science.Microprocessors.Architecture, Computer.Computer programming.Programming languages (Electronic computers).Computers.Computer logic.Computer Science.Programming Techniques.Computer System Implementation.Programming Languages, Compilers, Interpreters.Processor Architectures.Computation by Abstract Devices.Logics and Meanings of Programs.Springer eBookshttp://dx.doi.org/10.1007/978-3-642-75332-9URN:ISBN:9783642753329
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language ger
topic Computer science.
Microprocessors.
Architecture, Computer.
Computer programming.
Programming languages (Electronic computers).
Computers.
Computer logic.
Computer Science.
Programming Techniques.
Computer System Implementation.
Programming Languages, Compilers, Interpreters.
Processor Architectures.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Computer science.
Microprocessors.
Architecture, Computer.
Computer programming.
Programming languages (Electronic computers).
Computers.
Computer logic.
Computer Science.
Programming Techniques.
Computer System Implementation.
Programming Languages, Compilers, Interpreters.
Processor Architectures.
Computation by Abstract Devices.
Logics and Meanings of Programs.
spellingShingle Computer science.
Microprocessors.
Architecture, Computer.
Computer programming.
Programming languages (Electronic computers).
Computers.
Computer logic.
Computer Science.
Programming Techniques.
Computer System Implementation.
Programming Languages, Compilers, Interpreters.
Processor Architectures.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Computer science.
Microprocessors.
Architecture, Computer.
Computer programming.
Programming languages (Electronic computers).
Computers.
Computer logic.
Computer Science.
Programming Techniques.
Computer System Implementation.
Programming Languages, Compilers, Interpreters.
Processor Architectures.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Loogen, Rita. author.
SpringerLink (Online service)
Parallele Implementierung funktionaler Programmiersprachen [electronic resource] /
description 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.
format Texto
topic_facet Computer science.
Microprocessors.
Architecture, Computer.
Computer programming.
Programming languages (Electronic computers).
Computers.
Computer logic.
Computer Science.
Programming Techniques.
Computer System Implementation.
Programming Languages, Compilers, Interpreters.
Processor Architectures.
Computation by Abstract Devices.
Logics and Meanings of Programs.
author Loogen, Rita. author.
SpringerLink (Online service)
author_facet Loogen, Rita. author.
SpringerLink (Online service)
author_sort Loogen, Rita. author.
title Parallele Implementierung funktionaler Programmiersprachen [electronic resource] /
title_short Parallele Implementierung funktionaler Programmiersprachen [electronic resource] /
title_full Parallele Implementierung funktionaler Programmiersprachen [electronic resource] /
title_fullStr Parallele Implementierung funktionaler Programmiersprachen [electronic resource] /
title_full_unstemmed Parallele Implementierung funktionaler Programmiersprachen [electronic resource] /
title_sort parallele implementierung funktionaler programmiersprachen [electronic resource] /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 1990
url http://dx.doi.org/10.1007/978-3-642-75332-9
work_keys_str_mv AT loogenritaauthor paralleleimplementierungfunktionalerprogrammiersprachenelectronicresource
AT springerlinkonlineservice paralleleimplementierungfunktionalerprogrammiersprachenelectronicresource
_version_ 1756269958965231616