F. Loulergue et G. Hains. Functional parallel programming with explicit processes: beyond SPMD. In Europar'97, LNCS 1300, Springer, August 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Parallel Functional Programming on Recursively Defined Data.. - Nishimura, Ohori (1993) (Correct)
.... is Caml Flight (Foisy Chailloux, 1995) The DPCAM intends the SPMD execution of an array of sequential CAMs communicating with each other through a special primitive get, and later, variants 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 indices in parallel. Suciu and Tannen (1994) have provided a clean formal semantics for their data parallel language which contains sequences and ....
Loulergue, F., & Hains, G. (1997). Functional parallel programming with explicit processes: beyond SPMD. Pages 530-537 of: Lengauer, C., Griebl, M., & Gorlatch, S. (eds), Euro-par'97 parallel processing. LNCS, vol. 1300. Springer-Verlag.
Un Langage Fonctionnel Pur D'ordre Supérieur.. - Loulergue (1997) (Correct)
....de r e ecriture qui la r ealise. Des exemples illustrant l expressivit e du langage ainsi que la simulation de leur ex ecution sont donn es. 1 Introduction Suivant l approche de Berry et Curien des langages fonctionnels appliqu ee au parall elisme en processus statiques [10] nous avons [7], introduit les s emantiques d enotationnelle et op erationnelle d un langage explicitement parall ele et purement fontionnel : CDS . Il est inspir e du langage s equentiel fonctionnel CDS de Berry et Curien [1, 4] mais utilise les structures de donn ees concr etes g en eralis ees de Brookes et ....
.... fi fl ff fl [TRN] T xc 0 T 1 v 0 [T:U; x] c 0 [T 1 :U; x] v 0 [AP1] U 0 = t c U c y = c fcvg j c 2 A(x) U c U c v [T:U; x] c 0 [T:U 0 ; x [ yg] c 0 [AP2] Nous avons un r esultat de pleine abstraction entre la s emantique d enotationnelle et la s emantique op erationnelle [7]. 5 S emantique de r e ecriture : vers une machine abstraite Nous pr esentons une partie de la s emantique de r e ecriture aux figures 1 et 2. Chacune de ces figures repr esente les transitions possibles des colonnes de gauche aux colonnes de droite. La structure de donn ees consid er ee est un ....
F. Loulergue et G. Hains. Functional parallel programming with explicit processes: beyond SPMD. In Europar'97, LNCS 1300, Springer, August 1997.
Un Langage Explicitement Parall Ele Fonctionnel Pur D'ordre - Sup Erieur Frederic (1997) (Correct)
No context found.
F. Loulergue et G. Hains. Functional parallel programming with explicit processes: beyond SPMD. In Europar'97, LNCS 1300, Springer, August 1997.
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