Yet Another Implementation of Attribute Evaluation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2007

Yet Another Implementation of Attribute Evaluation


We introduce another item in the already large list of techniques for attribute evaluation. Our algorithm consists in computing attributes by reductions to normal forms using a transducer operating on tree encodings of a cyclic representation of zippers. A zipper is a data structure introduced by Gérard Huet for representing a subtree together with its context, i.e. it is a tree with a focus that points to some node inside it. We mention some potential applications of this representation of attribute grammars as zipper transformers.
Fichier principal
Vignette du fichier
RR6315.pdf (268.16 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00175810 , version 1 (01-10-2007)
inria-00175810 , version 2 (04-10-2007)


  • HAL Id : inria-00175810 , version 2


Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Yet Another Implementation of Attribute Evaluation. [Research Report] RR-6315, INRIA. 2007. ⟨inria-00175810v2⟩
134 View
135 Download


Gmail Facebook Twitter LinkedIn More