03/05/2001:
Maribel Fernandez, ENS Paris
Modeles de calcul multiparadigmes declaratifs: types, modularite, semantique.
Résumé
Dans ces dernieres annees, plusieurs paradigmes de programmation
declaratifs sont devenus tres populaires (fonctionnel, algebrique,
oriente objets, etc.) Tous ces paradigmes de programmation, bien
qu'universels, se sont averes etre bien adaptes a la resolution de
problemes dans certains domaines specifiques. Cette constatation a
ouvert les portes a la quete d'un paradigme de programmation combinant
les principaux avantages de chaque style. Toutefois, les proprietes de
ces langages multiparadigmes ne sont pas directement la somme des
proprietes de leurs constituants : divers problemes de modularite
apparaissent.
Les systemes de types se sont averes etre un outil precieux
dans l'etude des proprietes de modularite. Dans cet expose je vais
presenter plusieurs systemes de type pour les langages fonctionnels,
algebriques, orientes objets, et leurs combinaisons ; et des conditions
suffisantes de modularite pour les proprietes de confluence et terminaison
dans ce cadre.
Je m'interesse aussi aux aspects pratiques, lies a l'implementation,
de ces langages multiparadigmes. Nous avons choisi les reseaux
d'interaction de Lafont comme langage d'implementation,
car ils permettent une analyse fine des calculs et du partage, et
il existe plusieurs implementations, sequentielles et paralleles, des
reseaux, donc un codage d'un langage de programmation
dans les reseaux donne directement une implementation de ce langage.
Dans cet expose je vais decrire plusieurs codages des langages fonctionnels
et algebriques (et leurs combinaisons) dans les reseaux.