Evaluation partielle et compilation du filtrage

par JEAN-MARIE GEFFROY

Thèse de doctorat en Sciences appliquées

Sous la direction de C. QUEINNEC.

Soutenue en 1995

à Paris 6 .

    mots clés mots clés


  • Résumé

    Cette these est consacree a l'etude de l'integration de techniques d'evaluation partielle dans des compilateurs pour des langages fonctionnels, et plus particulierement pour scheme. Notre travail comporte trois facettes. Nous effectuons d'abord une presentation du domaine illustree par des micro-evaluateurs partiels de plus en plus complets concus sur la base d'un reducteur tres simple. Chaque version amene des questions qui sont traitees dans la suivante. La version la plus aboutie est un systeme tres complet comparable avec les systemes repandus. Nous presentons ensuite une utilisation spectaculaire de l'evaluation partielle: la compilation du filtrage. Nous fournissons un langage de filtres tres expressif et montrons comment nous obtenons par evaluation partielle un compilateur de filtres extremement efficace, qui retrouve automatiquement pour les filtres classiques des ameliorations des grands algorithmes connus. Pour les filtres moins classiques, des strategies tres efficaces sont decouvertes. La derniere partie de cette these presente jimix, notre evaluateur partiel le plus abouti. Outre ses capacites de personnalisation tres poussees, il se caracterise par le traitement de l'egalite physique, des effets de bords tels qu'affectations et entrees/sorties, et par la finesse de l'exploitation des informations statiques qu'il est capable d'effectuer. Son comportement est controlable par le biais d'un module de personnalisation, qui permet a l'utilisateur de jouer sur la propagation des informations statiques, et lui fournit ainsi un moyen de domestiquer la taille du code produit. Cette these apporte des developpements aussi bien dans le domaine de la compilation du filtrage que de l'evaluation partielle proprement dite


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 208 P.
  • Annexes : 137 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : T Paris 6 1995 333
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1995
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.