Abstract
We show the relevance of a high level computational model for the development of correct parallel programs. To this end we derive four programs solving classical problems; some of which generally considered as “inherently sequential”. The paper is only concerned with correctness and does not address implementation issues.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This article was processed using the IIEX macro package with LMAMULT style
Preview
Unable to display preview. Download preview PDF.
References
Banâtre, J.-P., Coutant, A., and Le Métayer, D.: A Parallel Machine for Multiset Transformation and its Programming Style. Future Generation Computer Systems, 4:133–144, 1988.
Banâtre, J.-P. and Le Métayer, D.: The Gamma Model and its Discipline of Programming. Science of Computer Programming, 15(1):55–77, November 1990.
Bentley, J.: Algorithm Design Techniques. Communications of the ACM, 27(9):865–871, September 1984.
Creveuil, C: Implementation of Gamma on the Connection Machine. In proc. of the Workshop on Research Directions in High-level Parallel Programming Languages, this volume.
Dershowitz, N., Manna, Z.: Proving Termination with Multiset Orderings. Communications of the ACM, 22(8):465–476, August 1979.
Dijkstra, E.W., Feíjen, W.H.J.: A Method of Programming. Addison-Wesley, 1988.
Gries, D.: The Science of Programming. Springer-Verlag, 1981.
Sedgewick, R.: Algorithms. Addison Wesley, second edition, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mussat, L. (1992). Parallel programming with bags. In: Banâtre, J., Le Métayer, D. (eds) Reasearch Directions in High-Level Parallel Programming Languages. HLPPP 1991. Lecture Notes in Computer Science, vol 574. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55160-3_46
Download citation
DOI: https://doi.org/10.1007/3-540-55160-3_46
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55160-7
Online ISBN: 978-3-540-46762-5
eBook Packages: Springer Book Archive