Gaétan Hains, John Mullins  Home/Search
Context Related
| lifo.univorleans.fr/...isis951E.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: We apply Brookes and Geva's theory of generalised concrete data structures and computational co-monads to the semantics of higher-order data-parallel functional languages. This yields a mathematical framework for describing the interaction between higher-order functions, explicitly distributed data and asynchronous algorithms. Concrete data structures (or CDS) allow the construction of several Cartesian closed categories, standard models for typed functional languages. Brookes and Geva have... (Update)
Context of citations to this paper: More
.... Il est possible d int egrer aux domaines de tableaux une notion de temps r eparti explicite. Le r esultat est une cat egorie ADSalg [12] beaucoup plus expressive, o u les fonctions (re baptis ees algorithmes data parall eles) peuvent utiliser tout l historique du calcul. Il...
...semantics in general is given most constructions specific to our context but no proofs. Those are available in our technical report [8]. All readers will also find a direct concrete interpretation of theoretical concepts as familiar notions of functional or parallel...
Cited by: More
Un Langage Explicitement Parall Ele Fonctionnel Pur D'ordre - Sup Erieur Frederic (1997) (Correct)
Array Structures and Data-Parallel Algorithms - Hains, Mullins (1996) (Correct)
L'approche Berry-Curien des langages fonctionnels.. - Ga'etan Hains.. (1996) (Correct)
Similar documents (at the sentence level):
12.3%: Concrete Data Structures and Functional Parallel Programming - Hains, Loulergue, Mullins (1997) (Correct)
Active bibliography (related documents): More All
0.2: Computational Comonads and Intensional Semantics - Brookes, Geva (1991) (Correct)
0.1: Contribution to Semantics of a Data-Parallel Logic.. - Lallouet, Le Guyadec (1995) (Correct)
0.1: Compiling For Massively Parallel Architectures: A Perspective - Feautrier (1994) (Correct)
Similar documents based on text: More All
0.4: Towards Portable and Efficient Parallel Functional Languages - Hains (1994) (Correct)
0.3: Information Flow Analysis - Via Equational Reasoning (Correct)
0.3: An SPMD environment machine for - Functional Bsp Programs (2001) (Correct)
Related documents from co-citation: More All
3: A cartesian closed category of parallel algorithms between scott domains - Brookes, Geva - 1991
2: Caml-Flight alpha: Implantation et applications (context) - Chailloux, Foisy - 1995
2: Continuous functions and parallel algorithms on concrete data structures - Brookes, Geva - 1991
BibTeX entry: (Update)
G. Hains and J. Mullins. Array structures and data-parallel algorithms. In Boug'e, Fraigniaud, Mignotte, and Robert, editors, EURO-PAR'96, number 1124 in Lecture Notes in Computer Science, pages 409--416, Lyon, 1996. LIP-ENSL, Springer. Short version of Research Note RR-95-1E, ISIS-Fujitsu Labs, Makuhari, Japan. http://citeseer.ist.psu.edu/article/hains96array.html More
@inproceedings{ hains96array,
author = "Gaetan Hains and John Mullins",
title = "Array Structures and Data-Parallel Algorithms",
booktitle = "Euro-Par, Vol. {II}",
pages = "409-416",
year = "1996",
url = "citeseer.ist.psu.edu/article/hains96array.html" }
Citations (may not include all citations):206 Vector Models for Data-Parallel Computing (context) - Blelloch - 1990
117 Semantic domains - Gunter, Scott - 1990
84 Basic Category Theory for Computer Scientists (context) - Pierce - 1991
65 Sequential Algorithms and Functional Programming (context) - Curien - 1993
43 Crystal: Theory and pragmatics of generating efficient paral.. (context) - Chen, -Il et al. - 1991
37 VCODE: a data-parallel intermediate language (context) - Blelloch, Chatterjee - 1990
16 the semantics of languages for massively parallel SIMD archi.. (context) - Boug'e - 1991
11 Pomset interpretations of parallel functional programs (context) - Hudak, Anderson - 1987
11 Continuous functions and parallel algorithms on concrete dat.. - Brookes, Geva - 1991
8 A cartesian closed category of parallel algorithms between S.. - Brookes, Geva - 1991
6 ele de programmation `a parall (context) - Boug'e - 1994
2 A categorical model of array domains (context) - Hains, Mullins - 1994
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