Frédéric Loulergue, Gaétan Hains, Christian Foisy  Home/Search
Context Related
| lifo.univorleans.fr/pub...cmpp98.ps.gz univparis12.fr/lacl/lou...cmpp98.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: univorleans.fr/SC...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . An extension of the -calculus called BS is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A local confluence result is explained and a call-by-value evaluation strategy is defined. The operational meaning of the calculus is illustrated by two programs defining the binary fold algorithm, one flat and one parallel-recursive. 1 High-level languages and parallel programming If parallel programming is to become as widespread as sequential... (Update)
Context of citations to this paper: More
.... of more formal semantics for abstract computation models based on the DPCAM have been proposed (Loulergue Hains, 1997; Loulergue et al. 1998). Hammarlund and Lisper (1993) have given a mathematical de nition of some data parallel primitives that operate on a set of...
...strategy. The requirement for a ground index of communication makes the language close to a functional one (see the language BS [12] for example) at least with regards to parallelism. But our theory is broader and a better solver is a topic deserving further...
Cited by: More
The Data Field Model - Lisper, Hammarlund (2001) (Correct)
Parallel Constraint Programming over BSP Vectors - Lallouet, Hains (1999) (Correct)
Parallel Functional Programming on Recursively Defined Data.. - Nishimura, Ohori (1993) (Correct)
Similar documents (at the sentence level):
5.6%: Confluence of the BSλ-calculus - Loulergue (1999) (Correct)
Active bibliography (related documents): More All
0.6: High level BSP programming: BSML and BSlambda - Ballereau, Loulergue, Hains (2000) (Correct)
0.6: Programmation Fonctionnelle Et Parallélisme: Une Approche.. - Hains (1994) (Correct)
0.4: Concrete Data Structures and Functional Parallel Programming - Hains, Loulergue, Mullins (1997) (Correct)
Similar documents based on text: More All
0.5: An SPMD environment machine for - Functional Bsp Programs (2001) (Correct)
0.4: Unknown - Verlag Lecture Notes (1997) (Correct)
0.4: The Program a2ac - Font Handling on the PostScript Level - Olsak (1995) (Correct)
Related documents from co-citation: More All
2: the relation between functional and data parallel programming languages (context) - Hammarlund, Lisper - 1993
2: High Performance Fortran Language Specification - Fortran - 1992
2: Data Field Haskell - Holmerin, Lisper - 1999
BibTeX entry: (Update)
Loulergue, F., Hains, G., & Foisy, C. (1998). A calculus of recursive-parallel BSP programs. CMPP'98 international workshop on constructive methods for parallel programming. Marstrand, Sweden: Technical Report, Univ. Passau, Germany. http://citeseer.ist.psu.edu/loulergue98calculu.html More
@inproceedings{ loulergue98calculus,
author = "F. Loulergue and G. Hains and C. Foisy",
title = "A Calculus of Recursive-Parallel {BSP} Programs",
booktitle = "{CMPP'98} International Workshop on Constructive Methods for Parallel Programming",
publisher = "Technical Report, Univ. Passau, {G}ermany",
address = "{M}arstrand, {S}weden",
year = "1998",
url = "citeseer.ist.psu.edu/loulergue98calculu.html" }
Citations (may not include all citations):278 Algorithmic Skeletons: Structured Management of Parallel Com.. (context) - Cole - 1989
206 Vector Models for Data-Parallel Computing (context) - Blelloch - 1990
166 NESL: A Nested Data-Parallel Language - Blelloch - 1993
43 Crystal: Theory and pragmatics of generating efficient paral.. (context) - Chen, -Il et al. - 1991
40 Connection Machine Lisp : A Fine Grained Parallel Symbolic P.. (context) - Steele, Hillis - 1986
37 VCODE: a data-parallel intermediate language (context) - Blelloch, Chatterjee - 1990
31 Universal computing (context) - McColl
22 Functional programming and lambda calculus (context) - Barendregt - 1990
22 Caml Flight: a portable SPMD extension of ML for distributed.. - Foisy, Chailloux - 1995
16 the semantics of languages for massively parallel SIMD archi.. (context) - Boug'e - 1991
16 Technical Report PRG-TR (context) - Skillicorn, Hill et al. - 1996
15 PEI: A language and its refinement calculus for parallel pro.. (context) - Violard, Perrin - 1992
14 Parallelism in sequential functional languages - Blelloch, Greiner - 1995
12 Subset synchronization in BSP computing (context) - Hains - 1998
9 Efficient parallel programming with algorithmic skeletons - Botorog, Kuchen
9 PEI: A single unifying model to design parallel programs (context) - Violard, Perrin - 1993
6 miniBSP: A BSP language and transformation system - Skillicorn - 1996
4 number 1123--1124 in Lecture Notes in Computer Science (context) - Boug'e, Fraigniaud et al. - 1996
2 Parallel functional languages should be strict (context) - Hains - 1994
2 Implementing VCODE with static processes - Bamha, Hains - 1996
1 Incomplete technical report on CMML (context) - Boug'e, Paulin - 1991
Documents on the same site (http://www.univ-orleans.fr/SCIENCES/LIFO/Members/ghains/publications.html): More
Implementing VCODE with static processes - Bamha, Hains (1996) (Correct)
Design of an Event-Oriented Functional Parallel Language.. - Fr'ed'eric Loulergue (Correct)
Towards Portable and Efficient Parallel Functional Languages - Hains (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC