Améliorations des performances d'un système de compilation d'équations

par Alain Miniussi

Thèse de doctorat en Informatique

Sous la direction de Robert Strandh.

Soutenue en 1997

à Bordeaux 1 .


  • Résumé

    Ce travail s'inscrit dans le cadre du projet eqc, initie par michael j. O'donnell a la fin des annees soixante dix. Ce projet a pour principal objectif d'offrir les outils permettant d'utiliser efficacement les systemes de reecriture comme langage de programmation. Une etude de l'existant presentera d'une part la classe des systemes de reecriture forward-branching, sur laquelle nous concentrerons nos efforts, et d'autre part les techniques d'optimisation se rattachant essentiellement a l'evaluation partielle. Nous developperons ensuite nos principales contributions. Des travaux anterieurs ont permis d'identifier certains problemes lies a l'efficacite et inherents a ce type de programmation. Nous proposons une solution a certains de ces problemes. Nous presenterons notamment un algorithme quadratique pour la reconnaissance des systemes forward-branching, le plus efficace a ce jour. Nous proposerons ensuite une strategie d'optimisation et expliquerons en quoi elle resoud les problemes specifiques auquels nous sommes confrontes. Nous proposons egalement un traitement particulier des operations arithmetiques permettant d'obtenir des performances comparables a celles des langages classiques sans compromis semantique.

  • Titre traduit

    Efficient compilation of an equationnal compiler


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 165 p

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FTA 1661
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Non disponible pour le PEB
  • Cote : FTRA 1661

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1997-MIN
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.