Abstract FR:

Nous proposons un systeme de transformation des programmes paralleles qui offre des methodes et techniques formelles pour leur manipulation correcte. Le systeme est compose d'un ensemble extensible de regles de transformation et des strategies de transformation. Plusieurs aspects de la programmation parallele dans un environnement distribue sont etudies dans notre approche de transformation. Ils concernent notamment l'adaptation d'un programme parallele a une architecture parallele, l'optimisation des programmes au travers de l'extraction et de l'augmentation du parallelisme, la distribution des structures de donnees globales et la mise en uvre d'une strategie de placement de processus/processeurs. Quelques exemples d'application sont donnes