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.
Type de document :
Rapport
[Research Report] RR-6315, INRIA. 2007
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00175810
Contributeur : Eric Badouel <>
Soumis le : jeudi 4 octobre 2007 - 10:47:17
Dernière modification le : mercredi 16 mai 2018 - 11:23:05
Document(s) archivé(s) le : mardi 21 septembre 2010 - 14:01:12

Fichier

RR6315.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Partager

Métriques

Consultations de la notice

276

Téléchargements de fichiers

149