Inference de representations pour les langages ensemblistes

par ABDELGHANI HADJ-RABIA

Thèse de doctorat en Sciences appliquées. Informatique

Sous la direction de PHILIPPE FACON.

Soutenue en 1993

à CNAM .


  • Résumé

    L'objectif de cette these est la conception d'un outil de determination des representations optimisees pour les langages abstraits ensemblistes. Il utilise une approche de type transformationnelle, et fonctionne de maniere completement automatique. L'outil accepte en entree un algorithme abstrait compose d'instructions dans lesquelles le programmeur peut utiliser les operations ensemblistes usuelles: tout se passe comme s'il disposait d'une implementation pour les ensembles, sequences, relation, etc. . . Par analyse de ce code le systeme infere des representations efficaces. Les buts d'une telle representation sont de minimiser : le cout des acces associatifs et la redondance des donnees. Pour cela nous utilisons le partage de structures et nous selectionnons les representations des objets abstraits d'apres les operations qu'ils subissent. Nous avons utilise deux approches: la premiere consiste en une inference directe de representations pour un petit langage ensembliste, la deuxieme approche se differencie de la premiere par l'utilisation exclusive du langage ada et surtout dans le decouplage inference de proprietes-selection de representations. Notre systeme s'ecrit tres naturellement sous forme d'un ensemble de regles d'inferences qui fonctionnent par induction sur la syntaxe abstraite d'un programme ensembliste ou d'un programme ada. Il a ete implemente a l'aide du generateur d'environnement centaur


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 131 p.
  • Annexes : 74

Où se trouve cette thèse ?

  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Non disponible pour le PEB
  • Cote : Th A 178
  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Consultable sur place dans l'établissement demandeur
  • Cote : Th A 178 double
  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Non disponible pour le PEB
  • Cote : MFT 115
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.