Modeles et implementations d'interpretes reflexifs

par Claude Michel

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Pierre Regourd.

Soutenue en 1997

à Nice .

    mots clés mots clés


  • Résumé

    Dans cette these, nous definissons et implementons un modele de reflexivite pour un interprete de langage d'acteurs. Notre modele s'inscrit dans une approche pragmatique de la reflexivite dans laquelle les aspects pratiques et l'efficacite sont des criteres primordiaux. Notre demarche s'appuie sur une etude pousse de la reflexivite et sur un dialogue permanent avec un utilisateur averti. L'etude de la reflexivite explore les modeles et les implementations des interpretes reflexifs de langages fonctionels. Ces derniers sont les premiers a avoir beneficie du concept de reflexivite et constitue une plate-forme naturelle a l'etude des mecanismes linguistiques. Ils nous ont permis de clarifier le role de l'implementation de la connexion causale dans la reflexivite globale. Ce type de reflexivite etend les possibilites offertes par la reflexivite en liberant le programmeur des limitations imposees par la representation. L'evaluation partielle, technique presentee comme ideale pour resoudre le probleme de l'efficacite dans les interpretes reflexifs est etudiee en detail. L'implementation d'un interprete reflexif qui l'utilise a permis de mettre en evidence les apports mais aussi les difficultes de mise en uvre de cette technique. Notre objectif principal se materialise par l'interprete reflexif lacte/r. Le modele de reflexivite de lacte/r a ete defini a partir de l'etude de la reflexivite, et d'un principe fondateur, le principe de localite. L'application de ce dernier s'est traduite par l'introduction d'operations qui controlent dynamiquement le nombre de niveaux d'interpretation au sein des tours de meta-acteurs et par une localisation de l'impact de la reflexivite aux seules entites explicitement reifiees. Il a ensuite ete affine et rationalise a partir des critiques et des propositions d'un utilisateur averti. Lacte/r se caracterise par sa simplicite, son large champ d'application et une efficacite compatible avec une utilisation reguliere.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 280 P.
  • Annexes : 69 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.