Abstract FR:

Les systemes d'equations recurrentes affines offrent une grande puissance d'expression sous une forme compacte et permettent d'exprimer de nombreux problemes mathematiques. Dans le cadre des travaux sur un langage formel base sur ce concept, nous etudions les solutions permettant de transformer de tels systemes d'equations en programmes paralleles qui puissent etre executes sur des calculateurs reels. Dans ce memoire, nous nous attachons a la resolution de deux problemes inherents a cette transformation: la generation de structures de donnees et la generation de structures de boucles. Pour le premier probleme, nous proposons une methode de generation et d'optimisation de tableaux qui permet d'atteindre l'efficacite des programmes optimises a la main. Pour la generation de boucles, nous ameliorons deux algorithmes de generation de nids de boucles decrits dans la litterature et nous en presentons un nouveau, utilisant une structure de boucles plus generale. Enfin, nous decrivons le principe d'une chaine de compilation complete utilisant les concepts presentes dans ce memoire