Un Langage Explicitement Parall Ele Fonctionnel Pur D'ordre (1997)
by
Sup Erieur Frederic
,
Frédéric Loulergue
BibTeX
@MISC{Frederic97unlangage,
author = {Sup Erieur Frederic and Frédéric Loulergue},
title = {Un Langage Explicitement Parall Ele Fonctionnel Pur D'ordre},
year = {1997}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Nous presentons le noyau d'un langage explicitement parallele et fonctionnel pur d'ordre superieur CDS*. Il est base sur des structures de donnees concretes explicitement distribuees. Nous donnons un apercu de la semantique denotationnelle, operationnelle et d'une semantique de reecriture qui la realise. Des exemples illustrant l'expressivite du langage ainsi que la simulation de leur execution sont donnes.
Citations
| 32 | Theory and practice of sequential algorithms: the kernel of the applicative language CDS0 - Berry, Curien - 1985 |
| 20 | First-Class Schedules and Virtual Maps - Mirani, Hudak - 1995 |
| 11 | Towards a theory of parallel algorithms on concrete data structures - Brookes, Geva - 1990 |
| 6 | A cartesian closed category of parallel algorithms between scott domains - Brookes, Geva - 1991 |
| 5 | Caml-flight alpha: Implantation et applications - Chailloux, Foisy - 1995 |
| 3 | Array structures and data-parallel algorithms - Hains, Mullins - 1996 |
| 2 | DPML: de la sémantique à l’implantation - Hains - 1994 |
| 2 | Functional parallel programming with explicit processes: beyond SPMD - Hains - 1997 |
| 2 | Programmation fonctionnelle parallèle en processus statiques : une approche dénotationnelle - Hains - 1997 |
| 2 | L’approche Berry-Curien des langages fonctionnels : application au parallélisme en processus statiques - Hains - 1996 |
