pen icon Colloque
quote

Sémantique parallèle d'un langage fonctionnel indulgent

Guy Tremblay
Bruno Malenfant
GT

Membre a labase

Guy Tremblay

Résumé du colloque

Les langages fonctionnels indulgents -- non-stricts mais non-paresseux -- sont particulièrement intéressants pour la programmation parallèle implicite. Dans cet exposé, nous allons présenter la sémantique d'un tel langage à l'aide d'une algèbre de processus (pi-calcul). Dans un premier temps, ce qu'est un langage fonctionnel indulgent sera brièvement présenté. À l'aide de quelques exemples, nous verrons pourquoi un tel langage facilite l'écriture de programmes implicitement parallèles. Cette première partie sera suivie d'une brève introduction du pi-calcul, notation introduite par R. Milner pour la description de processus concurrents et mobiles. Une sémantique formelle d'un noyau de langage fonctionnel indulgent (kpH) sera ensuite présentée. Cette sémantique sera exprimée de facon dénotationnelle, en utilisant des termes de pi-calcul comme dénotation d'expressions du langage; elle permettra de bien exprimer comment l'indulgence permet d'exploiter à fond le parallelisme implicite.

Contexte

Section :
Informatique
news icon Thème du colloque :
Informatique
host icon Hôte : Université Laval

Découvrez d'autres communications scientifiques

news icon

Titre du colloque :

Informatique
Portabilité et performance de programmes parallèles : une étude de cas
Fathi Bemmira
La représentation des connaissances et le raisonnement dans les outils de développement de systèmes…
Laurence Capus
Modélisation d'explications : une application à l'analyse de la sécurité routière
Hélène Verrière
Voir tous les contenus de ce colloque

Autres communications du même congressiste :

news icon

Thème du colloque :

Informatique
Louis Nicolas : sa vie et son œuvre
Guy Tremblay
Sémantique parallèle d'un langage fonctionnel indulgent
Guy Tremblay
Détermination des cyanures totaux, des thiocyanates et des thiosulfates dans les effluents de cyanu…
Helmut Winter