| HAL-Inria | Publications, software ... of Inria's scientists |
Reports
Yet Another Implementation of Attribute Evaluation
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.
Cited literature [28 references]
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
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)