Précédent : Complexité de l'analyse d'échappement (escape Remonter : Analyse de code Suivant : Parallélisme d'instructions

Analyse de flot de données pour des langages à tableaux

Participants : Laurent Challier, Alain Deutsch

Les années précédentes, nos études avaient porté sur l'analyse de dépendances de données dans les boucles, et plus précisément sur les algorithmes de programmation paramétrique en entiers, avec des résultats nouveaux sur une extension de l'algorithme de Fourier-Motzkin aux entiers. Cette analyse est en général effectuée pour des programmes à contrôle statique. Nous nous sommes orientés cette année vers une extension à des structures plus dynamiques, en nous fondant sur une sémantique opérationnelle d'un langage à tableaux. Les premiers résultats sont décrits dans [6].