BSλp: Functional BSP programs on enumerated vectors

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1940, Issue , 2000, Pages 355-363

  Loulergue, Frédéric ^a  

^a LIFO   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COST MODELING; FORMAL DESIGN; PARALLEL VECTORS; VALUE STRATEGIES;

CALCULATIONS;

EID: 84944050514     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-39999-2_34     Document Type: Conference Paper

References (12)

1. O. Ballereau, F. Loulergue, and G. Hains. High-level BSP Programming: BSML and BSλ. In P Trinder and G. Michaelson, eds., 1st Scottish Functional Programming Workshop, Heriot-Watt University, 1999
2. H. P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. North-Holland, 1986.
3. G. E. Blelloch. Vector Models for Data-Parallel Computing. MIT Press, 1990.
4. L. Bougé. Le modèle de programmation à parallélisme de données: une perspective sémantique. Technique et Science Informatiques, 12(5), 1993.
5. M. Cole. Algorithmic Skeletons: Structured Management of Parallel Computation. MIT Press, 1989.
6. G. Hains, F. Loulergue, and J. Mullins. Concrete data structures and functional parallel programming. Theoretical Computer Science, Accepted for publication.
7. F. Loulergue. Conception de langages fonctionnels pour la programmation massivement parallèle. thèse de doctorat, Université d’Orléans, January 2000. http://www. univ-orleans. fr/SCIENCES/LIFO/Members/loulergu.
8. F Loulergue, G. Hains, and C. Foisy. A Calculus of Functional BSP Programs. Science of Computer Programming, 37(1-3):253–277, 2000.
9. S. Pelagatti. Structured Development of Parallel Programs. Taylor & Francis, 1997.
10. D. B. Skillicorn, M. Danelutto, S. Pelagatti, and A. Zavanella. Optimising dataparallel programs using the BSP cost model. In Europar’98, volume 1470 of Lecture Notes in Computer Science, pages 698–715. Springer Verlag, 1998.
11. David Skillicorn, Jonathan M. D. Hill, and W. F. McColl. Questions and answers about BSP. Scientific Programming, 6(3):249–274, Fall 1997.
12. Leslie G Valiant. A bridging model for parallel computation. Communications of the ACM, 33(8):103, August 1990.