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#ciøque, 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 fonc...

Citations