L'evaluation partielle pour le genie logiciel a objets

par ULRIK SCHULTZ

Thèse de doctorat en Informatique

Sous la direction de Charles Consel.

Soutenue en 2000

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Les langages a objets facilitent la transformation d'une caracterisation abstraite d'un probleme en une implementation generique construite a partir composants reutilisables. Cependant, un programme a objets peut etre trop general lorsqu'il est utilise pour une situation specifique ; cette generalite est souvent la cause d'une execution inefficace. Pour accroitre les performances, ce programme peut etre adapte afin de ne conserver que les fonctionnalites requises pour une situation specifique. L'evaluation partielle est une technique de specialisation de programmes automatique qui adapte un programme a un contexte d'execution donne. Dans le processus de developpement de logiciels a objets, un programme est developpe en transformant la caracterisation d'un probleme en une implementation generique. L'evaluation partielle represente une etape supplementaire dans la processus de developpement de logiciels a objets : elle transforme une implementation generale en implementation dediee. Notre these etudie l'integration de l'evaluation partielle dans le processus de developpement de logiciels a objets en tant qu'outil de genie logiciel qui configure un programme generique pour le faire fonctionner dans un contexte specifique. Les contributions de ce travail sont les suivantes : - nous identifions des surcouts lies a la programmation a objets pouvant etre elimines grace a l'evaluation partielle ; - nous demontrons comment l'evaluation partielle transforme des logiciels generiques en implementations optimisees et dediees ; - nous ameliorons la previsibilite de l'evaluation partielle au moyen d'un couplage serre entre cette derniere et le processus de developpement de logiciels ; - nous definissons de maniere formelle l'evaluation partielle a objets ; - nous avons concu et developpe un evaluateur partiel complet pour java ; - nous decrivons des experimentations qui illustrent les gains de performances generes par l'evaluation partielle.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 207 p.
  • Annexes : 165 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 2000/124
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.