Thèse soutenue

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

FR  |  
EN
Auteur / Autrice : DENIS BECHET
Direction : Guy Cousineau
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1995
Etablissement(s) : Paris 7

Résumé

FR

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