: 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...

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.