Abstract FR:

L'objectif principal de la these est de poser les fondements theoriques de l'unification des trois paradigmes de calcul communement appeles: paradigmes de programmation parallele, fonctionnelle et imperative. Cela revient a examiner, essentiellement dans une optique theorique, la cohabitation, dans un meme langage, de ces trois paradigmes. Ainsi, nous experimentons nos idees sur un langage de type ml dote de primitives de parallelisme. Ce langage peut etre vu comme un lambda-calcul type, adoptant l'appel par valeur comme strategie d'evaluation et integrant de maniere saine des primitives de programmation imperative et parallele. La theorie semantique que nous presentons dans cette these consiste en une semantique statique et une semantique dynamique. La semantique statique que nous proposons repose sur la discipline des types et des effets. La premiere semantique dynamique que nous presentons est operationnelle. Elle est inspiree par la theorie des tests de hennessy. La deuxieme semantique presentee est denotationnelle. Elle est basee sur une adaptation du modele des arbres d'acceptation de hennessy. La derniere partie de cette theorie semantique consiste a etendre la semantique statique ainsi que le modele denotationnel a un langage de taille reelle, concurrent ml