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

par AZIZ SOUAH

Thèse de doctorat en Sciences appliquées

Sous la direction de Bernard Lorho.

Soutenue en 1991

à Orléans .

    mots clés mots clés


  • Résumé

    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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 107 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Orléans. Service commun de la documentation.Section Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.