Structure-directed Genericity in Functional Programming and Attribute Grammars

Abstract : Generic control operators, such as \emph{fold}, have been introduced in functional programming to increase the power and applicability of data-structure-based transformations. This is achieved by making the structure of the data more explicit in program specifications. We argue that this very important property is one of the original concepts of attribute grammars. In this paper, we present the similarities between the \emph{fold} formalism and attribute grammars. In particular, we show the equivalence of their respective deforestation methods. Given these results and the fundamental role of deforestation in the concept of \emph{structure-directed genericity}, first devised for attribute grammars with descriptional composition, we show how the \emph{fold} operator with its fusion method allow us to transport this concept in the area of functional programming.
Type de document :
Rapport
[Research Report] RR-3105, INRIA. 1997
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00073586
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 13:15:57
Dernière modification le : vendredi 25 mai 2018 - 12:02:05
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:50:56

Fichiers

Identifiants

  • HAL Id : inria-00073586, version 1

Collections

Citation

Étienne Duris, Didier Parigot, Gilles Roussel, Martin Jourdan. Structure-directed Genericity in Functional Programming and Attribute Grammars. [Research Report] RR-3105, INRIA. 1997. 〈inria-00073586〉

Partager

Métriques

Consultations de la notice

296

Téléchargements de fichiers

170