Les valeurs alternatives et la notion d'evenement dans l'evaluation partielle

par DENIS BECHET

Thèse de doctorat en Sciences appliquées

Sous la direction de G. COUSINEAU.

Soutenue en 1995

à Paris 7 .

    mots clés mots clés


  • Résumé

    L'evaluation partielle ou specialisation de programme vise a optimiser un programme lorsqu'un ou plusieurs de ses parametres sont fixes. Ce travail introduit les notions de valeurs alternatives, de clonage et d'evenement et leur utilisation dans l'evaluation partielle. Les valeurs alternatives representent une description des valeurs possibles d'une expression comme des grammaires hors contexte. Elles peuvent etre vues comme des specialisations de types de donnees. Le clonage consiste a specialiser tout objet comme une copie des expressions initiales. Enfin, l'identification des clones repose sur des environnements d'evenements. Plutot que de comparer l'egalite des arguments des objets specialises, elle regroupe les clones dont la genese est similaire. L'utilisation du clonage et des valeurs alternatives dans l'evaluation partielle elimine completement le niveau d'interpretation dans la specialisation des interpreteurs. L'usage des environnements d'evenements permet de construire un algorithme original d'identification des objets specialises qui assure la terminaison du processus d'evaluation partielle


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 183 P.
  • Annexes : 68 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1995
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.