Static and Dynamic Coupling Attribute Evaluators

Gilles Roussel 1 Didier Parigot 1 Martin Jourdan 1
1 CHARME - Compilation
Inria Paris-Rocquencourt
Abstract : Several years ago, the notion of attribute coupled grammars was introduced by Gan­zin­ger and Giegerich,[.ganzinger giegerich montreal.] together with their descriptional composition. The latter works essentially at the specification level, i.e., it produces an attribute grammar which specifies the composition of two attribute coupled grammars. We introduce a new approach to this composition of attribute coupled grammars. It no longer works at the specification level but rather at the evaluator level. It produces a special kind of attribute evaluator, called {\em coupling evaluator}. We present both a static version and a dynamic version of coupling evaluators. Both versions retain the good property of descriptional composition that intermediate trees are not physically constructed. In addition---and this is the main advantage of our approach, compared with descriptional composition---, it is possible to build separately the dynamic coupling evaluator of each attribute coupled grammar; in other words we achieve real {\em separate compilation\/} of AG modules.
Type de document :
[Research Report] RR-2670, INRIA. 1995
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:20:09
Dernière modification le : vendredi 25 mai 2018 - 12:02:05
Document(s) archivé(s) le : jeudi 24 mars 2011 - 13:52:32



  • HAL Id : inria-00074020, version 1



Gilles Roussel, Didier Parigot, Martin Jourdan. Static and Dynamic Coupling Attribute Evaluators. [Research Report] RR-2670, INRIA. 1995. 〈inria-00074020〉



Consultations de la notice


Téléchargements de fichiers