Static and Dynamic Coupling Attribute Evaluators
Résumé
Several years ago, the notion of attribute coupled grammars was introduced by Ganzinger 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.
Domaines
Autre [cs.OH]
Loading...