Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
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 …
