Cette thèse s'inscrit dans la continuité des travaux de l'équipe Archi sur le développement de techniques semi-automatiques d'optimisation des programmes en collaboration avec l'équipe InSitu sur les thématiques d'interfaces homme-machine. L'objectif est de concevoir et d'évaluer de nouvelles techniques de visualisation et d'interaction pour la restructuration des programmes. Il s'agit de définir et d'exploiter des représentations graphiques du modèle mathématique utilisé dans les théories et les outils développés par l'équipe Archi afin d'assister les programmeurs dans l'optimisation de leurs programmes de manière sûre et efficace, sans qu'ils aient pour autant une expertise forte en restructuration de codes. Plus généralement, ces travaux permettront aussi l'étude de nouvelles techniques de présentation visuelle et de manipulation interactive de code et de programes, dont les applications peuvent être multiples.