BSλppp: Functional BSP Programs on Enumerated Vectors
- 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
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
Unable to display preview. Download preview PDF.