BSλppp: Functional BSP Programs on Enumerated Vectors

  • Frédéric Loulergue
Conference paper

DOI: 10.1007/3-540-39999-2_34

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1940)
Cite this paper as:
Loulergue F. (2000) BSλppp: Functional BSP Programs on Enumerated Vectors. In: Valero M., Joe K., Kitsuregawa M., Tanaka H. (eds) High Performance Computing. ISHPC 2000. Lecture Notes in Computer Science, vol 1940. Springer, Berlin, Heidelberg

Abstract

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

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

Personalised recommendations