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
Reports

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 :
Reports
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/inria-00175810
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

File

RR6315.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00175810, version 2

Citation

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

Share

Metrics

Record views

135

Files downloads

130