Mises à jour destructives dans les grammaires attribuées

Projet CHARMEDans le domaine des langages fonctionnels, il existe un ensemble de travaux sur les problèmes liés à la récupération de mémoire au moment de la compilation. Dans le domaine des grammaires attribuées, le problème de l'occupation mémoire a donné lieu à des recherches sur la notion de durée de vie des attributs. Nous présentons une méthode permettant, dans le contexte des grammaires attribuées, de remplacer des appels à des fonctions par leurs équivalents destructifs. Si l'on considère le programme fonctionnel équivalent à une grammaire attribuée donnée, notre technique peut être vue comme une cométhode statique de récupération de mémoire à la compilation sur celui-ci. Cette méthode utilise les résultats obtenus sur la notion de durée de vie des attributs. L'une de ses particularités est qu'elle n'utilise que des méthodes d'analyse statique classiques des grammaires attribuées