Abstract FR:

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.