Skip to main content
SpringerLink
Log in

Parallel programming with bags

  • Conference paper
  • First Online:
Reasearch Directions in High-Level Parallel Programming Languages (HLPPP 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 574))

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.

This article was processed using the IIEX macro package with LMAMULT style

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. Bentley, J.: Algorithm Design Techniques. Communications of the ACM, 27(9):865–871, September 1984.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. Dershowitz, N., Manna, Z.: Proving Termination with Multiset Orderings. Communications of the ACM, 22(8):465–476, August 1979.

    Google Scholar 

  6. Dijkstra, E.W., Feíjen, W.H.J.: A Method of Programming. Addison-Wesley, 1988.

    Google Scholar 

  7. Gries, D.: The Science of Programming. Springer-Verlag, 1981.

    Google Scholar 

  8. Sedgewick, R.: Algorithms. Addison Wesley, second edition, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Irisa, Campus de Beaulieu, 35042, Rennes Cedex, France

    Louis Mussat

Authors
  1. Louis Mussat
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jean Pierre Banâtre Daniel Le Métayer

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation