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...
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Drugi avtorji: | |
| Format: | Thèse numérique |
| Jezik: | Français |
| Izdano: |
Villeurbanne :
[CCSD]
2011.
|
| Teme: | |
| Online dostop: | Accès au texte intégral Accès Université d'Orléans |
| Sporočilo: |
1 microfiche de 392 images ; 105x148 mm. Microed. du texte dactylogr Description d'après la consultation, 2018-04-26 Titre provenant de l'écran titre Cette édition peut différer de la version de soutenance enregistrée sous le Numéro National de Thèse : 1998ORLE2038 Thèses CCSD |
| 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, [S.l.], [s.n.], 1998, 202 p. |
| LEADER | 03833nam a22003377a 4500 | ||
|---|---|---|---|
| 001 | 928135 | ||
| 008 | 180615s2011 xx|||||| |||| 00| 0 fre d | ||
| 009 | PPN227763432 | ||
| 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. |
| 256 | |a Données textuelles | ||
| 260 | |a Villeurbanne : |b [CCSD], |c 2011. | ||
| 500 | |a 1 microfiche de 392 images ; 105x148 mm. Microed. du texte dactylogr | ||
| 500 | |a Description d'après la consultation, 2018-04-26 | ||
| 500 | |a Titre provenant de l'écran titre | ||
| 500 | |a Cette édition peut différer de la version de soutenance enregistrée sous le Numéro National de Thèse : 1998ORLE2038 | ||
| 500 | |a Thèses CCSD | ||
| 502 | |a Texte remanié de. Thèse de doctorat. Sciences et techniques. Orléans. 1998 | ||
| 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. | ||
| 538 | |a Un logiciel capable de lire un fichier au format PDF | ||
| 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 053739795 |t Contribution aux relations entre les grammaires attribuées et la programmation fonctionnelle |f Etienne Duris |c [S.l.] |n [s.n.] |d 1998 |p 202 p. | |
| 856 | 4 | |q PDF |u https://theses.hal.science/tel-00620486 |z Accès au texte intégral | |
| 856 | 4 | |5 452349901:727098349 |u https://ezproxy.univ-orleans.fr/login?qurl=https%3A//tel.archives-ouvertes.fr/tel-00620486 |z Accès Université d'Orléans | |
| 997 | |0 928135 |1 Thèse numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||