Calculus of functional BSP programs

Science of Computer Programming

Volumn 37, Issue 1, 2000, Pages 253-277

  Loulergue, Frédéric ^a   Hains, Gaétan ^a   Foisy, Christian ^b  

^a UNIVERSITÉ D'ORLÉANS   (France)

^b ERICSSON RESEARCH   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIATION (CALCULUS); MATHEMATICAL MODELS; PARALLEL ALGORITHMS;

BULK SYNCHRONOUS PARALLEL (BSP) COST MODELS; PARALLEL PROGRAMMING;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0033733192     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(99)00029-5     Document Type: Article

References (26)

1. O. Ballereau, F. Loulergue, G. Hains, High level BSP programming: BSML and BS λ , in SFP'99: First Scottish Functional Programming Workshop, Stirling, Scotland, September 1999.
2. Barendregt H.P. The Lambda Calculus, Its Syntax and Semantics. 1986;North-Holland, Amsterdam.
3. Blelloch G.E. Vector Models for Data-Parallel Computing. 1990;MIT Press, Cambridge, MA.
4. G.-H. Botorog, H. Kuchen, Efficient parallel programming with algorithmic skeletons, in: L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par'96 Parallel Processing, Lyon, Lecture Notes in Computer Science, Vol. 1123-1124, Springer, Berlin, August 1996.
5. L. Bougé, On the semantics of languages for massively parallel SIMD architectures, in: E.H.L. Aarts, J. van Leeuwen (Eds.), PARLE '91, Parallel Architectures and Languages Europe, Eindhoven, Lecture Notes in Computer Science, Vols. 505, 506, Springer, Berlin, June 1991.
6. L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par'96 Parallel Processing, Lyon, Lecture Notes in Computer Science, Vol. 1123-1124, LIP-ENSL, Springer, Berlin, August 1996.
7. Bougé L. C. Paulin, Incomplete Technical Report on CMML. 1991;LIP, ENS-Lyon.
8. Chen M., Choo Y.-Il, Li J. Crystal: theory and pragmatics of generating efficient parallel code. Szymanski B.K. Parallel Functional Languages and Compilers. 1991;ACM Press, New York.
9. Cole M. Algorithmic Skeletons: Structured Management of Parallel Computation. 1989;MIT Press, Cambridge, MA.
10. Cousineau G., Mauny M. The Functional Approach to Programming. 1998;Cambridge University Press, Cambridge.
11. C. Foisy, E. Chailloux, Caml Flight: a portable SPMD extension of ML for distributed memory multiprocessors, in: A.W. Böhm, J.T. Feo (Eds.), Workshop on High Performance Functional Computing, Denver, CO, Lawrence Livermore National Laboratory, USA, April 1995.
12. S. Gorlatch, Systematic efficient parallelization of scan and other list homomorphisms, in: L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par'96 Parallel Processing, Lyon, Lecture Notes in Computer Science, Vol. 1123-1124, LIP-ENSL, Springer, Berlin, August 1996.
13. G. Hains, Subset synchronization in BSP computing, in: H.R Arabnia (Ed.), PDPTA'98, Int. Conf. on Parallel and Distributed Processing Techniques and Applications, Vol. 1, Las Vegas, CSREA Press, July 1998, pp. 242-246.
14. H. Jifeng, Q. Miller, L. Chen, Algebraic laws for BSP programming, in: L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par'96 Parallel Processing, Lyon, Lecture Notes in Computer Science, Vol. 1123-1124, LIP-ENSL, Springer, Berlin, August 1996.
15. B. Lisper, Data parallelism and functional programming, in: École de Printemps sur le Data-Parallélisme, Les Menuires, France, PRC-CNRS, Springer, Berlin, 1996.
16. F. Loulergue, Confluence of the BS λ -calculus, Tech. Report RR99-10, LIFO, Université d'Orléans, May 1999.
17. F. Loulergue, Extension du BS λ -calcul, in: P. Weis (Ed.), JFLA'99: Journées Francophones des Langages Applicatifs, Collection Didactique de l'INRIA, Morzine-Avoriaz, February 1999, pp. 93-112.
18. F. Loulergue, G. Hains, C. Foisy, A calculus of recursive-parallel BSP Programs, in: S. Gorlatch (Ed.), 1st Internat. Workshop on Constructive Methods for Parallel Programming (CMPP'98), Research Report MIP-9805, University of Passau, May 1998, pp. 59-70.
19. W.F. McColl, Universal computing, in: L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par'96 Parallel Processing, Lyon, Lecture Notes in Computer Science, Vol. 1123-1124, LIP-ENSL, Springer, Berlin, August 1996.
20. L. Meertens, Constructing a calculus of programs, in: van de Snepscheut (Ed.), Mathematics of Program Construction, in: Lecture Notes in Computer Science, Vol. 375, Groningen, Springer, Berlin, June 1989.
21. Skillicorn D., Hill J.M.D., McColl W.F. Questions and answers about BSP. Sci. Programm. 6(3):1997;249-274.
22. D.B. Skillicorn, miniBSP: a BSP language and transformation system, Department of Computing and Information Science, Queen's University, Kingston, Canada, October 1996.
23. G.H. Steele, W.D. Hillis, Connection machine lisp: a fine grained parallel symbolic processing language, in: ACM Conference on Lisp and Functional Programming, Cambridge, MA, 1986, pp. 276-297.
24. Valiant L.G. A bridging model for parallel computation. Commun. ACM. 33(8):1990;103.
25. Violard E., Perrin G.-R. PEI: a language and its refinement calculus for parallel programming. Parallel Computing. 18(10):1992;1167-1184.
26. P. Weis (Ed.), JFLA'99: Journées Francophones des Langages Applicatifs, Collection Didactique de l'INRIA, Morzine-Avoriaz, February 1999.