| Julié, C. (1989), "Optimisation de l'espace mémoire pour l'évaluation de grammaires attribuées". School: Université d'Orléans., September, 1989. (th{\`e}se) |
BibTeX:
@phdthesis{Julie89,
author = {Catherine Julié},
title = {Optimisation de l'espace mémoire pour l'évaluation de grammaires attribuées},
school = {Université d'Orléans},
year = {1989},
number = {thèse}
}
|
| Souah, A. (1990), "Contribution à la sémantique déclarative des systèmes de transformation d'arbres attribués". School: Université d'Orléans., November, 1990. |
BibTeX:
@phdthesis{Souah90,
author = {Aziz Souah},
title = {Contribution à la sémantique déclarative des systèmes de transformation d'arbres attribués},
school = {Université d'Orléans},
year = {1990}
}
|
| Jourdan, M. (1992), "Des bienfaits de l'analyse statique sur la mise en œuvre des grammaires attribuées". School: Département de Mathématiques et d'Informatique, Université d'Orléans. |
BibTeX:
@phdthesis{Jourdan92a,
author = {Martin Jourdan},
title = {Des bienfaits de l'analyse statique sur la mise en œuvre des grammaires attribuées},
school = {Département de Mathématiques et d'Informatique, Université d'Orléans},
year = {1992},
note = {scriptsize http://www-sop.inria.fr/members/Didier.Parigot/publications/theses/habilit-martin.ps.gz},
url = {http://www-sop.inria.fr/members/Didier.Parigot/publications/theses/habilit-martin.ps.gz}
}
|
| Le Bellec, C. (1993), "La généricité et les grammaires attribuées". School: Département de Mathématiques et d'Informatique, Université d'Orléans. |
BibTeX:
@phdthesis{LeBellec93,
author = {Carole Le Bellec},
title = {La généricité et les grammaires attribuées},
school = {Département de Mathématiques et d'Informatique, Université d'Orléans},
year = {1993},
note = {scriptsize http://www-sop.inria.fr/members/Didier.Parigot/publications/theses/lebellec.ps.gz},
url = {http://www-sop.inria.fr/members/Didier.Parigot/publications/theses/lebellec.ps.gz}
}
|
| Marmol, B. (1994), "La parallélisation et l'optimisation mémoire dans l'évaluation des grammaires attribuées". School: Université d'Orléans. |
BibTeX:
@phdthesis{Marmol94,
author = {Bruno Marmol},
title = {La parallélisation et l'optimisation mémoire dans l'évaluation des grammaires attribuées},
school = {Université d'Orléans},
year = {1994},
note = {scriptsize http://www-sop.inria.fr/members/Didier.Parigot/publications/theses/marmol.ps.gz},
url = {http://www-sop.inria.fr/members/Didier.Parigot/publications/theses/marmol.ps.gz}
}
|
| Roussel, G. (1994), "Algorithmes de base pour la modularité et la réutilisabilité des grammaires attribuées". School: Département d'Informatique, Université de Paris~6., March, 1994. |
BibTeX:
@phdthesis{Roussel94a,
author = {Gilles Roussel},
title = {Algorithmes de base pour la modularité et la réutilisabilité des grammaires attribuées},
school = {Département d'Informatique, Université de Paris~6},
year = {1994},
note = {scriptsize http://www-sop.inria.fr/members/Didier.Parigot/publications/theses/roussel.ps.gz},
url = {http://www-sop.inria.fr/members/Didier.Parigot/publications/theses/roussel.ps.gz}
}
|
| Duris, E. (1998), "Contribution aux relations entre les grammaires attribuées et la programmation fonctionnelle". School: Université d'Orléans. |
| Abstract: Software engineering has to reconcile modularity, that is required for development and maintenance phases, with efficiency, obviously essential in the practical implementation of applications. This dilemma implies that methods and techniques must be developed in order to increase the efficiency of modular programs. The aim of deforestation transformations is to discard intermediate data structures that appear when software components are composed. Thus, these transformations are of great interest, especially to attribute grammar and functional programming communities. In spite of the variety of formalisms they used, this thesis compares several existing techniques and develops a new general deforestation method drawn from their advantages. First, a natural attribute grammar extension is introduced, allowing a larger functional programming class to be expressed. Then, dynamic attribute grammars are no more tied to concrete trees, to direct computations and transformations. Nevertheless, they could always be evaluated with classical attribute grammar evaluation methods. Next, the main functional deforestation methods (Wadler's algorithm, elimination of foldr/build rule, normalization of folds, fusion of hylomorphisms) are studied and compared with the descriptional composition of attribute grammars. Limitations of each method are established and allow suitable features for these program transformations to be determined. Finally, a new deforestation method is introduced. The symbolic composition uses the power of attribute grammar formalism and also includes a partial evaluation mechanism. This general technique can be applied to attribute grammars or to functional programs and it deforests programs for which existing methods were insufficient. |
BibTeX:
@phdthesis{Duris98,
author = {Etienne Duris},
title = {Contribution aux relations entre les grammaires attribuées et la programmation fonctionnelle},
school = {Université d'Orléans},
year = {1998},
note = {scriptsize http://www-sop.inria.fr/members/Didier.Parigot/publications/theses/Duris98.ps.gz},
url = {http://www-sop.inria.fr/members/Didier.Parigot/publications/theses/Duris98.ps.gz}
}
|
| Correnson, L. (2000), "Sémantique Equationnelle". School: l'Ecole Polytechnique., April, 2000. |
BibTeX:
@phdthesis{Correnson00,
author = {Loic Correnson},
title = {Sémantique Equationnelle},
school = {l'Ecole Polytechnique},
year = {2000},
url = {http://www-sop.inria.fr/members/Didier.Parigot/publications/theses/Correnson2000.ps.gz}
}
|
| Courbis, C. (2002), "Contribution à la programmation générative. Application dans le générateur SmartTools~: technologies XML, programmation par aspects et composants". School: Université de Nice Sophia Antipolis., December, 2002. |
| Abstract: With the emergence of the Internet and proliferation of new technologies, the design and programming of complex applications need to take into account standards and notions of code distribution, deployment and reuse. There is a need to change the programming methodologies to take into account these different facets. This thesis lays the foundations for a new way of programming based on generative programming that automatically integrates specific technologies and user specifications (abstract models). This idea was successfully used, at different levels - data representation, interactive environments, semantic Atreatments and the architecture, in the design and realisation of SmartTools, a software framework for domain-specific languages. In this way, the generated source code makes use of XML technologies for the data representation, object and bean technologies for the views and GUI, aspect-oriented programming and visitor design pattern for semantic treatments and components to obtain an open architecture and a distributed and deployable application. This idea is very close to the MDA (Model-Driven Architecture) proposal of the OMG consortium that advocates a platform-independent model that can be transformed into one or more platform-specific models. The main results of this thesis is better software quality due to business logic and technology separation, more straightforward code, a rapid addition of new facets and a means that facilitates the portability of applications towards new technologies or platforms. |
| Review: rapporteur |
BibTeX:
@phdthesis{Courbis2002a,
author = {Carine Courbis},
title = {Contribution à la programmation générative. Application dans le générateur SmartTools~: technologies XML, programmation par aspects et composants},
school = {Université de Nice Sophia Antipolis},
year = {2002},
url = {http://www-sop.inria.fr/members/Didier.Parigot/publications/theses/Courbis2002.ps.gz}
}
|
Created by JabRef on 07/05/2009.