BSλppp: Functional BSP Programs on Enumerated Vectors

  • Frédéric Loulergue
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1940)


The BSλppp calculus is a calculus of functional BSP programs on enumerated parallel vectors. This confluent calculus is defined and a parallel cost model is associated with a weak call-by-value strategy. These results constitute the core of a formal design for a BSP dialect of ML


Cost Model Local Term Execution Cost Vector Constructor Parallel Vector 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    O. Ballereau, F. Loulergue, and G. Hains. High-level BSP Programming: BSMLand BSλ. In P Trinder and G. Michaelson, eds., 1st Scottish Functional ProgrammingWorkshop, Heriot-Watt University, 1999 355Google Scholar
  2. 2.
    H. P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. North-Holland, 1986. 357Google Scholar
  3. 3.
    G. E. Blelloch. Vector Models for Data-Parallel Computing. MIT Press, 1990. 356Google Scholar
  4. 4.
    L. Bougé. Le modèle de programmation à parallélisme de données: une perspectivesémantique. Technique et Science Informatiques, 12(5), 1993. 362Google Scholar
  5. 5.
    M. Cole. Algorithmic Skeletons: Structured Management of Parallel Computation. MIT Press, 1989. 355Google Scholar
  6. 6.
    G. Hains, F. Loulergue, and J. Mullins. Concrete data structures and functionalparallel programming. Theoretical Computer Science, Accepted for publication.355Google Scholar
  7. 7.
    F. Loulergue. Conception de langages fonctionnels pour la programmation massivementparallèle. thèse de doctorat, Université d’Orléans, January2000. 356, 358, 359,360, 362
  8. 8.
    F Loulergue, G. Hains, and C. Foisy. A Calculus of Functional BSP Programs.Science of Computer Programming, 37(1–3):253–277, 2000. 355, 362MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    S. Pelagatti. Structured Development of Parallel Programs. Taylor & Francis, 1997.355Google Scholar
  10. 10.
    D. B. Skillicorn, M. Danelutto, S. Pelagatti, and A. Zavanella. Optimising dataparallelprograms using the BSP cost model. In Europar’98, volume 1470 of LectureNotes in Computer Science, pages 698–715. Springer Verlag, 1998. 362Google Scholar
  11. 11.
    David Skillicorn, Jonathan M. D. Hill, and W. F. McColl. Questions and answersabout BSP. Scientific Programming, 6(3):249–274, Fall 1997. 356Google Scholar
  12. 12.
    Leslie G Valiant. A bridging model for parallel computation. Communications ofthe ACM, 33(8):103, August 1990. 355CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Frédéric Loulergue
    • 1
  1. 1.LIFOOrléans Cedex 2France

Personalised recommendations