Gaétan Hains, Frédéric Loulergue, John Mullins  Home/Search
Context Related
| sics.se/~mullins/tcs98.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: sics.se/~mullins/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a framework for designing parallel programming languages whose semantics is functional and where communications are explicit. To this end, we specialize Brookes and Geva's generalized concrete data structures with a notion of explicit data layout and obtain a CCC of distributed structures called arrays. We find that arrays' symmetric replicated structures, suggested by the data-parallel SPMD paradigm, are incompatible with sum types. We then outline a functional language with... (Update)
Cited by: More
BSλ_p: Functional BSP Programs on Enumerated Vectors - Loulergue (2000) (Correct)
Implementation of the BSMLlib Library v0.2 - Loulergue (2002) (Correct)
Similar documents (at the sentence level):
7.6%: Array Structures and Data-Parallel Algorithms - Hains, Mullins (1996) (Correct)
Active bibliography (related documents): More All
0.6: Design of an Event-Oriented Functional Parallel Language.. - Fr'ed'eric Loulergue (Correct)
0.4: A calculus of recursive-parallel BSP programs - Loulergue, Hains, Foisy (1998) (Correct)
0.3: Confluence of the BSλ-calculus - Loulergue (1999) (Correct)
Similar documents based on text: More All
0.4: Unknown - Verlag Lecture Notes (1997) (Correct)
0.3: An SPMD environment machine for - Functional Bsp Programs (2001) (Correct)
0.2: Functional Bulk Synchronous Parallel Programming using the.. - Hains, Loulergue (2000) (Correct)
Related documents from co-citation: More All
2: A calculus of functional BSP programs (context) - Loulergue, Hains et al.
2: Structured Development of Parallel Programs (context) - Pelagatti - 1997
2: Algorithmic Skeletons: Structured Management of Parallel Computation (context) - Cole - 1989
BibTeX entry: (Update)
G. Hains, F. Loulergue, and J. Mullins. Concrete data structures and functional parallel programming. Theoretical Computer Science, 258(1-2):233-- 267, 2001. http://citeseer.ist.psu.edu/hains97concrete.html More
@article{ hains01concrete,
author = "Ga{\'e}tan Hains and Fr{\'e}d{\'e}ric Loulergue and John Mullins",
title = "Concrete data structures and functional parallel programming",
journal = "Theoretical Computer Science",
volume = "258",
number = "1--2",
pages = "233--267",
year = "2001",
url = "citeseer.ist.psu.edu/hains97concrete.html" }
Citations (may not include all citations):283 Theoretical Computer Science (context) - Kahn, Plotkin - 1993
117 Semantic domains - Gunter, Scott - 1990
65 Sequential Algorithms and Functional Programming (context) - Curien - 1993
43 Crystal: Theory and pragmatics of generating efficient paral.. (context) - Chen, -Il et al. - 1991
31 Universal computing (context) - McColl
29 Theory and practice of sequential algorithms: the kernel of .. (context) - Berry, Curien - 1985
19 Types and Structures (context) - Asperti, Longo - 1991
15 First-class schedules and virtual maps (context) - Mirani, Hudak - 1995
14 Data parallelism and functional programming (context) - Lisper - 1996
13 Distributed CCS (context) - Krishnan - 1991
11 Computational comonads and intensional semantics - Brookes, Geva - 1991
11 Continuous functions and parallel algorithms on concrete dat.. - Brookes, Geva - 1991
9 Efficient parallel programming with algorithmic skeletons - Botorog, Kuchen
8 Dynamic load balancing in parallel database systems - Rahm
6 ele de programmation `a parall (context) - Boug'e - 1993
4 Number 6 in International Series on Parallel Computation (context) - Skillicorn, Parallel - 1994
4 number 1123--1124 in Lecture Notes in Computer Science (context) - Boug'e, Fraigniaud et al. - 1996
3 High-performance distributed computing: The I-WAY experiment.. (context) - Foster
2 Parallel functional programming with explicit processes: Bey.. (context) - Loulergue, Hains - 1997
Documents on the same site (http://www.sics.se/~mullins/publications.html): More
Separation of Open Sets Having an Hyperarithmetical Code and.. - Mullins (1998) (Correct)
Array Structures and Data-Parallel Algorithms - Hains, Mullins (1996) (Correct)
Kleene Automata And Recursion Theory - Mullins (1992) (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