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

Albert Cohen (1)

1 PRISM - Parallélisme, Réseaux, Systèmes, Modélisation

Parallelisation 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.

Mots clés: data-flow analysis; compilation; automatic parallelisation; recursive programs; context-free languages

Mots clés: analyse de flot de données; parallélisation automatique; récursivité; langages algébriques.

Domaines: Langage de programmation [cs.PL]; Calcul parallèle, distribué et partagé [cs.DC]; Systèmes embarqués

Albert Cohen. Analyse de flot de données pour programmes récursifs à l'aide de langages algébriques. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1999, 18 (3), pp.323--343. ⟨hal-01257318⟩