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

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

336

Files downloads

212