Abstract FR:

Contrairement à beaucoup d'autres langages informatiques, les grammaires attribuées (ga) classiques n'offrent pas encore la possibilité d'écrire une application de façon modulaire. Elles rendent également difficile la réutilisation d'algorithmes déjà spécifiés. Le but de cette thèse a été d'introduire ces notions afin de rendre la spécification par gas plus attrayante. Deux types complémentaires d'écriture modulaire ont été introduits pour les gas. Premièrement, les grammaires attribuées fonctionnelles (gaf) permettent de décomposer une application en une séquence de gafs. Afin de rendre celles-ci plus utilisables nous présentons un travail sur leur meta-composition qui a été introduite par Gazinger et Giergerich, mais aussi sur l'optimisation des gas produites. Nous présentons également une alternative à la meta-composition appelée composition des évaluateurs. Le deuxième type de modularité est introduit grâce aux grammaires attribuées incomplètes (gai). Chacune décrit un sous-problème particulier d'une application. Toutes les gais d'une application sont spécifiées sur la même syntaxe et communiquent avec les autres unités de l'application grâce à des attributs d'entrée et de sortie. La deuxième notion que nous avons introduite est celle de réutilisabilité. Je propose ici deux algorithmes de base. Le premier permet de construire automatiquement une gaf spécifiant la transformation d'un arbre syntaxique de la ga à réutiliser. Le deuxième permet d'extraire automatiquement d'une ga une ga qui soit facilement réutilisable