Mise en oeuvre des grammaires attribuées : transformations, évaluation incrémentale, optimisation

par Didier Parigot

Thèse de doctorat en Informatique

Sous la direction de Marie-Claude Gaudel.

Soutenue en 1987

à Paris 11 , en partenariat avec Université de Paris-Sud. Faculté des Sciences d'Orsay (Essonne) (autre partenaire) .

Le président du jury était Marie-Claude Gaudel.

Le jury était composé de Marie-Claude Gaudel.


  • Résumé

    Ce mémoire présente un ensemble de travaux consacrés aux grammaires attribuées (GA), avec l'objectif de montrer que cette méthode permet le développement rapide et sûr de compilateurs efficaces. Ce mémoire est divisé en six chapitres. Après l'introduction, le chapitre II présente de manière très informelle les grammaires attribuées et les principaux résultats de la théorie des attributs sémantiques. Le chapitre Ill étudie précisément le problème de la transformation des GAs FNC, une large sous-classe des GAs, en des GAs 1-ordonnées, et propose une nouvelle méthode d'évaluation applicable aux GAs FNC. Cette méthode réalise une évaluation totalement déterministe, ce qui induit d'excellentes performances en temps d'exécution et en encombrement mémoire. Le chapitre IV propose une méthode d'évaluation incrémentale originale, applicable aux GAs FNC. Le chapitre V traite du problème du coût des tests de caractérisation, et propose des améliorations très significatives. Le chapitre VI décrit un certain nombre d'optimisations, visant à améliorer la gestion de la mémoire, et la vitesse d'exécution. En outre·un·système d'aide aux détections des circularités est proposé. En conclusion, les objectifs d'un nouveau système de traitement de grammaires attribuées sont décrits et quelques prolongements possibles de ce travail sont esquissés.

  • Titre traduit

    Implementation of attribute grammars : transformation, incremental evaluation, optimization


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (pagination multiple)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr., 8 p.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1987)234
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-034561
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.