Précédent : Application aux programmes ``systèmes'' Remonter : Évaluation partielle Suivant : Le système d'évaluation partielle Schism

Analyse de programmes impératifs dans un cadre fonctionnel

Participants : Charles Consel, Julia Lawall, Barbara Moura

Depuis la fin des années soixante dix, la communauté des langages impératifs a étudié des langages intermédiaires où les opérations impératives sont représentées fonctionnellement dans le but de faciliter le processus d'analyse et de compilation des programmes. Ces représentations intermédiaires, telle que Static Single Assignment, sont largement utilisées par des compilateurs optimisants avancés. Cependant, bien que les opérations impératives des langages étudiés soient traitées fonctionnellement, le cadre de travail est toujours impératif.

Nous avons développé un ensemble de transformations sur la représentation fonctionnelle des programmes impératifs permettant de les analyser avec autant de précision qu'une approche impérative [27]. Nous avons appliqué ces transformations à des programmes écrits dans un langage impératif d'ordre supérieur et montré leur précision dans le contexte d'un évaluateur partiel d'ordre supérieur pur et fonctionnel.