Construction automatisée des compilateurs : Le système CIGALE

par Carine Fedele

Thèse de doctorat en Sciences appliquées

Sous la direction de Olivier Lecarme.

Soutenue en 1991

à nice .


  • Résumé

    La méta-compilation est un sujet depuis longtemps exploré et les idées sont nombreuses. Mais les résultats obtenus ne sont pas encore satisfaisants. Il faut tout d'abord faire la différence entre les méta-compilateurs de langages expérimentaux et ceux de langages d'implémentation. Dans le premier cas, les performances des compilateurs générés ne sont pas importantes, et ces systèmes sont le plus souvent utilisés par des personnes qui ne souhaitent pas s'intéresser a la compilation. Dans le second cas, obtenir un compilateur peu rapide et produisant du code inefficace serait catastrophique. En effet, tous les logiciels reposant sur ce langage d'implémentation auraient des performances inacceptables, par exemple dans le monde industriel. Au contraire les utilisateurs du méta-compilateur sont compétents en compilation et souhaitent seulement que leur tache soit facilitée. Peu de travaux existent dans ce dernier cas et c'est une lacune. Le système cigale est un système d'écriture de compilateurs basé sur le formalisme bien connu des grammaires attribuées. A partir d'une description syntactico-sémantique du langage (l'aspect lexical est implicite), cigale génére un compilateur pour ce langage produisant du code em. Ce code em est ensuite traite par les différentes phases d'ack jusqu'a obtention de code efficace pour une machine réelle donnée. La description de la syntaxe du langage se fait grâce a une notation proche de la bnf; celle de la sémantique est donnée grâce à l'utilisation d'un type abstrait. Ce type abstrait n'est pas fige et l'utilisateur fournira des outils pour les aspects non prévus


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 152 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Ecole Polytechnique de l’Université François Rabelais . Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Cote : DI-TH-203
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.