Inproceedings,
Composition Symbolique
Journ�es Francophones des Langages Applicatifs, Come, Italie, (February 1998)ftp://ftp-sop.inria.fr/smartool/Didier.Parigot/publications/jfla98.ps.gz.
Abstract
La d�forestation d'un programme fonctionnel est une transformation
qui consiste � �liminer la construction des structures interm�diaires
qui sont introduites par les compositions de fonctions. La composition
descriptionnelle, initialement introduite par Ganzinger et Giegerich,
est une m�thode de d�forestation sp�cifique, qui s'applique � la
composition de deux grammaires attribu�es. Cet article propose une
nouvelle technique de d�forestation, appel�e composition symbolique,
qui est une extension et une am�lioration de la composition descriptionnelle.
En traduisant automatiquement un programme fonctionnel en une grammaire
attribu�e �quivalente, il est possible de lui appliquer la composition
symbolique, et de traduire le r�sultat en un programme fonctionnel
(par exemple, en utilisant la transformation de Johnsson). On obtient
alors une transformation source � source de programmes fonctionnels.
La m�thode de d�forestation ainsi obtenue donne de meilleurs r�sultats
que les m�thodes fonctionnelles existantes. La composition symbolique,
compl�tement d�di�e au caract�re d�claratif et descriptionnel des
grammaires attribu�es est intrins�quement plus puissante que les
transformations bas�es sur les notions cat�gorielles, dont les sch�mas
de r�cursions sont fig�s par des foncteurs. Ces r�sultats confirment
que la notation des grammaires attribu�es est une repr�sentation
interm�diaire simple et particuli�rement adapt�e aux transformations
de programmes.
