Analyse de flot de données pour programmes récursifs à l'aide de langages algébriques

International audienceParallelisation of recursive programs is still an open problem today, lacking suitable and precise static analyses. This article presents a novel data-flow analysis framework based on context-free languages. Necessity is shown for developing new models to handle recursivity~; we present a powerful analysis technique for a class of recursive programs. This technique achieves a global and precise description of the data flow and discovers important semantic properties of the programs.La parallélisation de programmes récursifs reste un problème largement ouvert aujourd'hui, faute d'analyses statiques suffisamment précises pour ces programmes. Cet article présente une application originale des langages algébriques à l'analyse de flot de données de programmes récursifs. On montre la nécessité d'imaginer de nouveaux modèles mieux adaptés à la récursivité et on décrit une méthode d'analyse performante sur une classe particulière de programmes. La technique présentée autorise une description globale et précise du flot, en montrant d'importantes propriétés sémantiques