Développement systématique et sûreté d'exécution en programmation parallèle structurée. (Systematic development and safety of execution in structured parallel programming)

Exprimer le parallelisme dans la programmation de maniere simple et performante est un defi auquel l'informatique fait face, en raison de l'evolution actuelle des architectures materielles. BSML est un langage permettant une programmation parallele de haut niveau, structuree, qui participe a cette recherche. En s'appuyant sur le coeur du langage existant, cette these propose d'une part des extensions qui en font un langage plus general et plus simple (traits imperatifs tels que references et exceptions, syntaxe specifique...) tout en conservant et etendant sa surete (semantiques formelles, systeme de types...) et d'autre part une methodologie de developpement d'applications paralleles certifiees