Conception et implantation d'un langage pour les transformations de programmes

par CHRISTOPHE ROUDET

Thèse de doctorat en Sciences et techniques

Sous la direction de Isabelle Attali.

Soutenue en 1999

à Nice .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    La maintenance des systemes logiciel est l'un des points critiques du cycle de vie d'un logiciel. La duree de vie de ces logiciels a augmente ainsi que leur complexite due a des mises a jours successives, soit pour corriger des bugs ou soit pour ajouter de nouvelles fonctionnalites. Les problemes de l'an 2000 et du passage a l'euro sont deux exemples concrets de maintenance de logiciel. La taille et la complexite de ces systemes logiciel rendent leur maintenance couteuse et hasardeuse si elle n'est pas automatisee. Les systemes de transformation de programmes, cantones jusqu'ici dans des applications de synthese de programmes, semblent adaptes pour repondre a ces nouveaux besoins. Dans cette optique, nous proposons trfl un langage de transformation de programmes qui contribue a resoudre certains problemes lies a la maintenance, en particulier la restructuration de code, le portage vers de nouvelles architectures et la documentation de code. Il s'agit d'un langage declaratif base sur des regles de reecriture. Nous specifions formellement ce langage en donnant sa syntaxe, sa semantique statique et sa semantique dynamique. Nous presentons les deux prototypes realises et l'environnement comprenant differents outils facilitant la mise en uvre des transformations. Nous evaluons les qualites et faiblesses ainsi que les performances de ce nouveau langage.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 103 p.
  • Annexes : 110 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.