avec ÉTIENNE DURIS (en DEA [Dur94], puis thèse en cours) Une GA est une spécification déclarative d'un calcul sur un arbre qui peut être considérée comme un cas particulier de programme applicatif ou fonctionnel. Le générateur d'évaluateurs analyse la partie syntaxique de la GA et, par souci d'efficacité, la transforme en un programme impératif effectuant des effets de bord. Cependant, l'analyse des fonctions sémantiques n'est pas aussi poussée. En particulier, sous certaines conditions de typage, une règle sémantique , où f est une fonction de mise à jour , peut être traduite par l'affectation , grâce aux analyses de durée de vie des attributs (cf. la section 2.5), qui conserve entre autres son caractère applicatif. Pour augmenter l'efficacité, on voudrait remplacer cette affectation par l'instruction ; , où la procédure P est l'équivalent destructif de F. Pour cela, il faut d'une part déterminer les conditions dans lesquelles cette transformation est légitime et, d'autre part, pouvoir construire automatiquement P à partir de la définition de f. Nous avons étudié et résolu ces deux problèmes dans le cas où f est définie par une grammaire attribuée [Dur94,DPJ95] . Cependant notre algorithme déterminant la légalité de la transformation, qui repose sur la possibilité que l'ancienne valeur de v soit partagée par une valeur encore active, est assez pessimiste (bien que parfaitement sûr) et peut être amélioré.