Mises à jour destructives dans les grammaires attribuées

Résumé : Dans 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.
Type de document :
Rapport
[Rapport de recherche] RR-2686, INRIA. 1995
Liste complète des métadonnées

https://hal.inria.fr/inria-00074005
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:16:47
Dernière modification le : mardi 17 avril 2018 - 11:25:29
Document(s) archivé(s) le : jeudi 24 mars 2011 - 13:47:29

Fichiers

Identifiants

  • HAL Id : inria-00074005, version 1

Collections

Citation

Étienne Duris, Didier Parigot, Martin Jourdan. Mises à jour destructives dans les grammaires attribuées. [Rapport de recherche] RR-2686, INRIA. 1995. 〈inria-00074005〉

Partager

Métriques

Consultations de la notice

99

Téléchargements de fichiers

47