sup erieur Frederic Loulergue Laboratoire d'Informatique Fondamentale...  Home/Search
Context
Related
| f.loulergue.free.f...lergue_gdr1997.pdf 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: f.loulergue.free.fr/rese...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. (Update)
Active bibliography (related documents): More All
1.6: Un Langage Fonctionnel Pur D'ordre Supérieur.. - Loulergue (1997) (Correct)
0.9: L'approche Berry-Curien des langages fonctionnels.. - Ga'etan Hains.. (1996) (Correct)
0.4: Array Structures and Data-Parallel Algorithms - Hains, Mullins (1996) (Correct)
Similar documents based on text: More All
0.5: Pattern Matching and Exception Handling for Bulk Synchronous.. - Dabrowski (2003) (Correct)
0.4: Programmation Fonctionnelle Et Parallélisme: Une Approche.. - Hains (1994) (Correct)
0.3: On Transversals in Minimal Imperfect Graphs - Fouquet, Maire, Rusu, Thuillier (1997) (Correct)
BibTeX entry: (Update)
@misc{ frederic-un,
author = "Sup Erieur Frederic",
title = "Un Langage Explicitement Parall Ele Fonctionnel Pur D'ordre",
url = "citeseer.ist.psu.edu/663693.html" }
Citations (may not include all citations):29 Theory and practice of sequential algorithms: the kernel of .. (context) - Berry, Curien - 1985
15 First-class schedules and virtuals maps (context) - Mirani, Hudak - 1995
12 Towards a theory of parallel algorithms on concrete data str.. - Brookes, Geva - 1991
8 A cartesian closed category of parallel algorithms between s.. - Brookes, Geva - 1991
4 DPML: de la semantique a l'implantation (context) - Foisy, et et al. - 1994
4 Caml-flight alpha: Implantation et applications (context) - et, Foisy - 1995
3 Functional parallel programming with explicit processes: bey.. (context) - et, Hains - 1997
3 Array structures and data-parallel algorithms - Hains, Mullins - 1996
2 Universal computing (context) - McCool - 1996
1 and Functionnal Progamming (context) - Curien, Sequential - 1993
1 Programmation fonctionnelle parallele en processus statiques.. (context) - et, Hains - 1997
1 L'approche Berry-Curien des langages fonctionnels : applicat.. - Hains - 1996
Documents on the same site (http://f.loulergue.free.fr/research/papers.html): More
A Tutorial Implementation of the Diffusion Algorithmic.. - LOULERGUE, HU, KAKEHI (2004) (Correct)
A Parallel Virtual Machine for Bulk Synchronous Parallel ML - Gava, Loulergue (2003) (Correct)
Verifying Functional Bulk Synchronous Parallel Programs Using .. - Gava, Loulergue (2003) (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