Abstract
Zur Programmierung paralleler Systeme ist ein wesentlich höheres Abstraktionsniveau nötig, als es die heute gängigen Sprachen bieten. Ein möglicher Ansatz sind hier Funktionale höherer Ordnung („Skeletons“), die auf geeigneten Algebren der Datenpartitionie-rung aufbauen. Die Idee dieser Methode wird hier exemplarisch — soweit der beschränkte Platz dies zuläßt — anhand eines ausgewählten Beispiels vorgeführt.2
Diese Arbeit wurde teilweise gefördert durch das Bundesministerium für Forschung und Technologie (BMFT) im Rahmen des Projekts „KORSO — Korrekte Software“.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
R. S. Bird. Lectures on constructive functional programming. In Manfred Broy, editor, Constructive Methods in Computing Science. Springer Verlag, 1989. Proceedings International Summer School, Berlin.
M. Cole. Algorithmic Skeletons: Structured Management of Parallel Computation. MIT Press, 1989.
J. Darlington, A. J. Field, P. G. Harrison et al. Parallel programming using skeleton functions. Personal Communication. Will he presented at PARLE’93, May 1992.
P. Pepper. Deductive derivation of parallel programs. In R. Paige, J. Reif, and R. Wachter, editors, Parallel Algorithm Derivation and Program Transformation. Kluwer Academic Publishers, 1993. To appear. Also: Technical Report 92–23, Technische Universität Berlin, July 1992.
P. Pepper, J. Exner, and M. Südholt. Functional programming of massively parallel systems. Technical Report 93–16, Technische Universität Berlin, 1993. To appear.
P. Pepper, J. Exner, and M. Südholt. Towards an algebraic theory for the derivation of parallel programs. In Formal Methods in Programming and their Applications, Lecture Notes in Computer Science. Springer Verlag, July 1993. To appear.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pepper, P., Exner, J., Südholt, M. (1993). Funktionale Programmierung für massiv parallele Systeme. In: Reichel, H. (eds) Informatik — Wirtschaft — Gesellschaft. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78486-6_98
Download citation
DOI: https://doi.org/10.1007/978-3-642-78486-6_98
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57192-6
Online ISBN: 978-3-642-78486-6
eBook Packages: Springer Book Archive