Mise en oeuvre des grammaires attribuées : transformations, évaluation incrémentale, optimisation
Auteur / Autrice : | Didier Parigot |
Direction : | Marie-Claude Gaudel |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 1987 |
Etablissement(s) : | Paris 11 |
Partenaire(s) de recherche : | autre partenaire : Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne) |
Jury : | Président / Présidente : Marie-Claude Gaudel |
Mots clés
Mots clés contrôlés
Mots clés libres
Résumé
Ce mémoire présente un ensemble de travaux consacrés aux grammaires attribuées (GA), avec l'objectif de montrer que cette méthode permet le développement rapide et sûr de compilateurs efficaces. Ce mémoire est divisé en six chapitres. Après l'introduction, le chapitre II présente de manière très informelle les grammaires attribuées et les principaux résultats de la théorie des attributs sémantiques. Le chapitre Ill étudie précisément le problème de la transformation des GAs FNC, une large sous-classe des GAs, en des GAs 1-ordonnées, et propose une nouvelle méthode d'évaluation applicable aux GAs FNC. Cette méthode réalise une évaluation totalement déterministe, ce qui induit d'excellentes performances en temps d'exécution et en encombrement mémoire. Le chapitre IV propose une méthode d'évaluation incrémentale originale, applicable aux GAs FNC. Le chapitre V traite du problème du coût des tests de caractérisation, et propose des améliorations très significatives. Le chapitre VI décrit un certain nombre d'optimisations, visant à améliorer la gestion de la mémoire, et la vitesse d'exécution. En outre·un·système d'aide aux détections des circularités est proposé. En conclusion, les objectifs d'un nouveau système de traitement de grammaires attribuées sont décrits et quelques prolongements possibles de ce travail sont esquissés.