thesis

Contributions a la semantique declarative des systemes de transformation d'arbres attribues

Defense date:

Jan. 1, 1991

Edit

Institution:

Orléans

Disciplines:

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Dans le formalisme des grammaires attribuees, l'arbre d'entree est intangible: on ne peut que le decorer avec des instances d'attributs. Or il existe des applications ou, au contraire, on veut pouvoir modifier, transformer l'arbre d'entree, comme, par exemple, les optimisations dans les compilateurs classiques (propagation de constantes, elimination de code inutile. . . ). Nous proposons un mecanisme permettant de modifier certains sous-arbres sous certaines conditions et de retablir la coherence de toutes les instances d'attributs: systeme de transformation d'arbres attribues (stta). Contrairement aux autres systemes de transformation d'arbres attribues, notre systeme transat est purement declaratif. L'utilisateur declare, pour chaque transformation, la condition d'application, les regles syntaxiques (modeles d'entree et de sortie), ainsi que les changements eventuellement induits. Nous proposons une methode pour verifier statiquement la coherence du systeme. Cette methode est basee sur le calcul des dependances entre instances d'attributs dans n'importe quel arbre. Nous introduisons la notion de a-confluence qui garantit que le resultat des transformations est unique quelque soit la strategie choisie. Ensuite, nous presentons les contraintes sur les staa pour verifier cette propriete. Enfin on donne un algorithme qui determine de maniere automatique la maniere optimale d'operer les transformations