Contribution aux relations entre les grammaires attribuées et la programmation fonctionnelle
L'ingénierie du logiciel doit concilier, d'une part, la modularité requise par les phases de développement et de maintenance et, d'autre part, l'efficacité indispensable dans la mise en œuvre des applications. Ce dilemme nécessite des méthodes et des techniques de transformation...
Zapisane w:
| 1. autor: | |
|---|---|
| Kolejni autorzy: | |
| Format: | Thèse et Mémoire papier |
| Język: | Français |
| Wydane: |
[S.l.] :
[s.n.]
1998.
|
| Hasła przedmiotowe: | |
| Komentarz: |
1 microfiche de 392 images ; 105x148 mm. Microed. du texte dactylogr |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Contribution aux relations entre les grammaires attribuées et la programmation fonctionnelle, Etienne Duris, 2011, Villeurbanne, [CCSD] |
| LEADER | 03553nam a22002777a 4500 | ||
|---|---|---|---|
| 001 | 197393 | ||
| 008 | 001218s1998 xx|||||| |||| 00| 0 fre d | ||
| 009 | PPN053739795 | ||
| 041 | 0 | |a fre |b fre | |
| 084 | |a 001.D.02_001.B.09 | ||
| 084 | |a 500 | ||
| 084 | |a 600 | ||
| 100 | 1 | |a Duris, Etienne, |d 19..- | |
| 245 | 1 | 0 | |a Contribution aux relations entre les grammaires attribuées et la programmation fonctionnelle |c Etienne Duris ; sous la dir. de Martin Jourdan. |
| 260 | |a [S.l.] : |b [s.n.], |c 1998. | ||
| 300 | |a 202 p. | ||
| 500 | |a 1 microfiche de 392 images ; 105x148 mm. Microed. du texte dactylogr | ||
| 502 | |a Thèse de doctorat. Sciences et techniques. Orléans. 1998 | ||
| 504 | |a 115 ref. | ||
| 520 | |a L'ingénierie du logiciel doit concilier, d'une part, la modularité requise par les phases de développement et de maintenance et, d'autre part, l'efficacité indispensable dans la mise en œuvre des applications. Ce dilemme nécessite des méthodes et des techniques de transformation permettant d'accroitre l'efficacité des programmes modulaires. La déforestation, qui consiste à éliminer les structures intermédiaires apparaissant lors de la composition des différentes parties d'un programme, a suscité beaucoup d'intérêt, notamment en grammaires attribuées et en programmation fonctionnelle. En dépit de la diversité des formalismes utilisés, cette thèse compare les différentes techniques existantes et s'inspire de leurs atouts pour développer une nouvelle méthode de déforestation plus générale. Tout d'abord, une extension naturelle des grammaires attribuées est introduite pour permettre de représenter une plus large classe de programmes fonctionnels. Les grammaires attribuées dynamiques peuvent se passer de la présence physique d'un arbre pour guider les calculs et les transformations, mais bénéficient des méthodes classiques d'évaluation des grammaires attribuées. Ensuite, les principales méthodes fonctionnelles de déforestation (algorithme de wadler, regle d'élimination foldr/build, normalisation des folds, fusion d'hylomorphismes) sont étudiées et comparées avec la composition descriptionelle des grammaires attribuées. Les limitations de chaque méthode sont établies et permettent de déterminer les atouts nécessaires pour ces transformations de programmes. Finalement, une nouvelle méthode de déforestation est proposée. La composition symbolique utilise la puissance du formalisme des grammaires attribuées et incorpore un mécanisme d'évaluation partielle. Cette technique générale peut être appliquée sur des grammaires attribuées ou sur des programmes fonctionnels et permet de déforester des programmes pour lesquelles les méthodes existantes restaient impuissantes. | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Jourdan, Martin, |d 1959-...., |c informaticien. |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 776 | 0 | |0 227763432 |t Contribution aux relations entre les grammaires attribuées et la programmation fonctionnelle |f Etienne Duris |d 2011 |c Villeurbanne |n [CCSD] | |
| 787 | 0 | 8 | |i Reproduced as: |0 126407371 |t Contribution aux relations entre les grammaires attribuees et la programmation fonctionnelle |f Etienne Duris |d 1998 |c Grenoble |n Atelier national de reproduction des thèses |p 1 microfiche |s [Grenoble thèses] |
| 997 | |0 197393 |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-1998-38 |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1998-38b | ||