Algorithmes de base pour la modularité et la reutilisabilité des grammaires attribuées

par Gilles Roussel

Thèse de doctorat en Informatique

Sous la direction de Bernard Lorho.

Soutenue en 1994

à Paris 6 .


  • Résumé

    Contrairement à beaucoup d'autres langages informatiques, les grammaires attribuées (ga) classiques n'offrent pas encore la possibilité d'écrire une application de façon modulaire. Elles rendent également difficile la réutilisation d'algorithmes déjà spécifiés. Le but de cette thèse a été d'introduire ces notions afin de rendre la spécification par gas plus attrayante. Deux types complémentaires d'écriture modulaire ont été introduits pour les gas. Premièrement, les grammaires attribuées fonctionnelles (gaf) permettent de décomposer une application en une séquence de gafs. Afin de rendre celles-ci plus utilisables nous présentons un travail sur leur meta-composition qui a été introduite par Gazinger et Giergerich, mais aussi sur l'optimisation des gas produites. Nous présentons également une alternative à la meta-composition appelée composition des évaluateurs. Le deuxième type de modularité est introduit grâce aux grammaires attribuées incomplètes (gai). Chacune décrit un sous-problème particulier d'une application. Toutes les gais d'une application sont spécifiées sur la même syntaxe et communiquent avec les autres unités de l'application grâce à des attributs d'entrée et de sortie. La deuxième notion que nous avons introduite est celle de réutilisabilité. Je propose ici deux algorithmes de base. Le premier permet de construire automatiquement une gaf spécifiant la transformation d'un arbre syntaxique de la ga à réutiliser. Le deuxième permet d'extraire automatiquement d'une ga une ga qui soit facilement réutilisable


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 158 p.
  • Annexes : 41 REF.Bibliogr. p. 156-158

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : TA 1565 1994 [1]
  • Bibliothèque : Université de Versailles Saint-Quentin-en-Yvelines. Direction des Bibliothèques et de l'Information Scientifique et Technique-DBIST. Bibliothèque universitaire Sciences et techniques.
  • Disponible pour le PEB
  • Cote : T940545
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Accessible pour le PEB
  • 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 1994 252
  • 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 1994
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.