CONTRIBUTIONS A LA SEMANTIQUE DECLARATIVE DES SYSTEMES DE TRANSFORMATION D'ARBRES ATTRIBUES
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 OPTIMISATI...
Gardado en:
| Autor Principal: | |
|---|---|
| Outros autores: | |
| Formato: | Thèse et Mémoire papier |
| Idioma: | Français |
| Publicado: |
[S.l.] :
[s.n.]
1991.
|
| Sujets: | |
| Nota: |
1991ORLE2044 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | CONTRIBUTIONS TO THE DECLARATIVE SEMANTICS OF ATTRIBUTED TREE TRANSFORMATION SYSTEM |
| LEADER | 02756nam a22002657a 4500 | ||
|---|---|---|---|
| 001 | 196860 | ||
| 008 | 990313s1991 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN044187807 | ||
| 041 | 0 | |a fre |b fre | |
| 084 | |a 001.D.02.C | ||
| 084 | |a 620 | ||
| 100 | 1 | |a Souah, Aziz, |d 19..- . | |
| 240 | 1 | 0 | |a CONTRIBUTIONS TO THE DECLARATIVE SEMANTICS OF ATTRIBUTED TREE TRANSFORMATION SYSTEM |
| 245 | 1 | 0 | |a CONTRIBUTIONS A LA SEMANTIQUE DECLARATIVE DES SYSTEMES DE TRANSFORMATION D'ARBRES ATTRIBUES |c AZIZ SOUAH ; SOUS LA DIRECTION DE BERNARD LORHO. |
| 260 | |a [S.l.] : |b [s.n.], |c 1991. | ||
| 500 | |a 1991ORLE2044 | ||
| 502 | |a Thèse Doctorat. Sciences appliquées. Orléans. 1991 | ||
| 504 | |a 107 REF | ||
| 520 | |a 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 | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Lorho, Bernard. |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 787 | 0 | 8 | |i Reproduced as: |0 246381094 |t CONTRIBUTIONS A LA SEMANTIQUE DECLARATIVE DES SYSTEMES DE TRANSFORMATION D'ARBRES ATTRIBUES |f AZIZ SOUAH |c Grenoble |n Atelier national de reproduction des thèses |d 1991 |p Microfiches |s [Grenoble thèses] |
| 997 | |0 196860 |1 Thèse et Mémoire papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1991-44 b |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1991-44 | ||
| 999 | |5 452342104:056643713 |a ORLEANS | ||