Analyse de flot de données de programmes récursifs à l'aide de grammaires hors-contexte

Albert Cohen (1)

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

Cet article présente une application originale des langages algébriques à l'analyse de flot de données de programmes récursifs. 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: langages algébriques; analyse de flot; parallélisation; compilation; récursivité

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 de programmes récursifs à l'aide de grammaires hors-contexte. Rencontres francophones du parallélisme (RenPar9), May 1997, Lausanne, Suisse. ⟨hal-01257321⟩