A parallel virtual machine for bulk synchronous parallel ML

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

Volumn 2657, Issue , 2003, Pages 155-164

  Gava, Frédéric ^a   Loulergue, Frédéric ^a  

^a UNIVERSITÉ PARIS EST CRÉTEIL   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FUNCTIONAL PROGRAMMING;

ABSTRACT MACHINES; BULK SYNCHRONOUS PARALLEL; BYTECODES; DEAD LOCK; FUNCTIONAL DATAS; PARALLEL VIRTUAL MACHINES;

COMPUTATIONAL LINGUISTICS;

EID: 35248886581     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44860-8_16     Document Type: Article

References (18)

1. A.W. Appel. Compiling with continuations. Cambridge University Press, 1992.
2. L. Cardelli. Compiling a functional language. In Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming, pages 208-217, Austin, Texas, August 1984. ACM.
3. G. Cousineau and G. Huet. The caml primer. Technical Report 122, INRIA, 1990.
4. F. Gava and F. Loulergue. Synthèse de types pour Bulk Synchronous Parallel ML. In Journées Francophones des Langages Applicatifs (JFLA 2003), January 2003.
5. T. Hardin, L. Maranget, and L. Pagano. Functional runtime systems within the lambda-sigma calculus. Journal of Functional Programming, 8(2):131-176, 1998.
6. P. J. Landin. The mechanical evaluation of expressions. The Computer Journal, 4(6):308-320, 1964.
7. X. Leroy. The ZINC experiment: An economical implementation of the ML language. Rapport Technique 117, 1991.
8. X. Leroy. The caml special light system: modules and efficient compilation for caml. Technical Report 2721, INRIA, Novembre 1995.
9. Xavier Leroy. The Objective Caml System 3.06, 2002. web pages at www.ocaml.org.
10. th IASTED International Conference on Parallel and Distributed Computing Systems, pages 452-457. ACTA Press, 2002.
11. F. Loulergue, G. Hains, and C. Foisy. A Calculus of Functional BSP Programs. Science of Computer Programming, 37(1-3):253-277, 2000.
12. A. Merlin and G. Hains. La Machine Abstraite Catégorique BSP. In Journées Francophones des Langages Applicatifs. INRIA, 2002.
13. A. Merlin, G. Hains, and F. Loulergue. A SPMD Environment Machine for Functional BSP Programs. In Proceedings of the Third Scottish Functional Programming Workshop, August 2001.
14. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990.
15. S. L. Peyton Jones. The Implementation of Functional Programming Languages. Prentice-Hall, 1987.
16. D. B. Skillicorn, J. M. D. Hill, and W. F. McColl. Questions and Answers about BSP. Scientific Programming, 6(3), 1997.
17. M. Snir and W. Gropp. MPI the Complete Reference. MIT Press, 1998.
18. Leslie G Valiant. A bridging model for parallel computation. Communications of the ACM, 33(8):103, August 1990.