Abstract

: Nous pr'esentons le noyau d'un langage explicitement parall`ele et fonctionnel pur d'ordre sup'erieur CDS*. Il est bas'e sur des structures de donn'ees concr`etes explicitement distribu'ees. Nous donnons un aper¸cu de la s'emantique d'enotationnelle, op'erationnelle et d'une s'emantique 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 Geva [3, 2] qui peuvent exprimer le parall'elisme. Au contraire du langage ADS0 [8] bas'e sur les structures de tableau de...

Citations