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 <>
Submitted on : Thursday, October 4, 2007 - 10:47:17 AM
Last modification on : Thursday, January 7, 2021 - 4:35:56 PM
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