%0 Conference Paper %1 Duris96a %A Duris, Etienne %A Parigot, Didier %A Roussel, Gilles %A Jourdan, Martin %B journ�es du GDR de programmation %C Orl�ans %D 1996 %K Functional ML programing vari.FP %T Grammaires Attribu�es et Folds: Op�rateurs de Contr�le G�n�riques %U ftp://ftp-sop.inria.fr/smartool/Didier.Parigot/publications/gdr96.ps.gz %X Les op�rateurs de contr�le g�n�riques tels que fold ont �t� introduits en programmation fonctionnelle pour augmenter la puissance et le champ d'application des transformations fond�es sur la structure des donn�es. Ceci est possible en rendant cette structure plus explicite dans la sp�cification des programmes. Nous consid�rons que cette caract�ristique fondamentale est l'un des concepts de base des grammaires attribu�es. Dans cet article, nous exposons informellement les similitudes qui existent entre le formalisme du fold et la sp�cification par grammaires attribu�es. Nous comparons �galement leurs m�thodes respectives d'�limination des structures interm�diaires introduites lors de la composition de fonctions (notion de d�forestation ou de fusion)\,: l'algorithme de normalisation pour les programmes exprim�s � l'aide de folds et la composition descriptionnelle pour les grammaires attribu�es. Le but principal de cet article est de pr�senter intuitivement chacun de ces deux paradigmes, ainsi que leurs similitudes qui offrent des possibilit�s de fertilisation crois�e.

@inproceedings{Duris96a, abstract = {Les op�rateurs de contr�le g�n�riques tels que \emph{fold} ont �t� introduits en programmation fonctionnelle pour augmenter la puissance et le champ d'application des transformations fond�es sur la structure des donn�es. Ceci est possible en rendant cette structure plus explicite dans la sp�cification des programmes. Nous consid�rons que cette caract�ristique fondamentale est l'un des concepts de base des grammaires attribu�es. Dans cet article, nous exposons informellement les similitudes qui existent entre le formalisme du fold et la sp�cification par grammaires attribu�es. Nous comparons �galement leurs m�thodes respectives d'�limination des structures interm�diaires introduites lors de la composition de fonctions (notion de d�forestation ou de fusion)\,: l'algorithme de normalisation pour les programmes exprim�s � l'aide de folds et la composition descriptionnelle pour les grammaires attribu�es. Le but principal de cet article est de pr�senter intuitivement chacun de ces deux paradigmes, ainsi que leurs similitudes qui offrent des possibilit�s de fertilisation crois�e.}, added-at = {2009-05-10T18:36:57.000+0200}, address = {Orl�ans}, author = {Duris, Etienne and Parigot, Didier and Roussel, Gilles and Jourdan, Martin}, biburl = {https://www.bibsonomy.org/bibtex/233549b0f5de3eb6a42944d685abaeb2b/dparigot}, booktitle = {journ�es du GDR de programmation}, description = {Attribute Grammar}, interhash = {727512851072b66333ea135a50fc3a5a}, intrahash = {33549b0f5de3eb6a42944d685abaeb2b}, keywords = {Functional ML programing vari.FP}, postscript = {http://www-sop.inria.fr/smartool/Didier.Parigot/publications/gdr96.ps.gz}, timestamp = {2009-05-10T18:37:00.000+0200}, title = {Grammaires Attribu�es et Folds: Op�rateurs de Contr�le {G}�n�riques}, url = {ftp://ftp-sop.inria.fr/smartool/Didier.Parigot/publications/gdr96.ps.gz}, year = 1996 }