International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by inductively computing a function expressing the dependencies of the synthesized attributes on inherited attributes. This higher-order functional approach to attribute evaluation can straightforwardly be implemented in a higher-order lazy functional language like Haskell. The resulting evaluation functions are, however, not easily amenable to optimization when we want to compose two attribute grammars. We present an alternative first-order functional interpretation of attribute grammars where the input tree is replaced by an extended cyclic tree each node of which is aware of its context viewed as an additional child tree. These cyclic representatio...
AbstractEvaluation of attributes w.r.t. an attribute grammar can be obtained by inductively computin...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
AbstractAttributed tree transducers are abstract models used to study properties of attribute gramma...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
Attribute coupled grammars and their descriptional composition were advocated by Ganzinger and Giege...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
AbstractEvaluation of attributes w.r.t. an attribute grammar can be obtained by inductively computin...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
AbstractEvaluation of attributes w.r.t. an attribute grammar can be obtained by inductively computin...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
AbstractAttributed tree transducers are abstract models used to study properties of attribute gramma...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
Attribute coupled grammars and their descriptional composition were advocated by Ganzinger and Giege...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
AbstractEvaluation of attributes w.r.t. an attribute grammar can be obtained by inductively computin...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
AbstractEvaluation of attributes w.r.t. an attribute grammar can be obtained by inductively computin...
International audienceEvaluation of attributes w.r.t. an attribute grammar can be obtained by induct...
AbstractAttributed tree transducers are abstract models used to study properties of attribute gramma...