HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Yet Another Implementation of Attribute Evaluation

Eric Badouel 1 Bernard Fotsing 1 Rodrigue Tchougong 1
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : 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.
Document type :
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download

Contributor : Eric Badouel Connect in order to contact the contributor
Submitted on : Thursday, October 4, 2007 - 10:47:17 AM
Last modification on : Friday, February 4, 2022 - 3:22:03 AM
Long-term archiving on: : Tuesday, September 21, 2010 - 2:01:12 PM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads