A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

An Extension of Shortcut Deforestation for Accumulative List Folding Uma extensão do desmatamento por atalho para dobramento acumulativo de listas

Kazuhiko KAKEHI, Robert GLUCK, Yoshihiko FUTAMURA

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

O desmatamento é uma técnica bem conhecida de transformação de programas que elimina estruturas de dados intermediárias que são passadas entre funções. Um de seus pontos fracos é a incapacidade de programas de desmatamento utilizando parâmetros acumulativos. Mostramos como certos tipos de listas intermediárias produzidas pelo acúmulo de parâmetros podem ser desmatados. Neste artigo apresentamos uma variante acumulativa de dobrar, сhamado rdlof, e mostre a composição das funções definidas por dobrar e rdlof. Como um exemplo simplificado de dobrar e rdlof, examinamos então dmap, uma extensão acumulativa de mapa,e forneça as regras de fusão correspondentes. Embora as regras de composição associadas não possam capturar todos os problemas de desmatamento, elas podem lidar com a fusão acumuladora de funções de estilo de dobramento e de mapa de uma maneira simples. As regras para fusão de acumuladores apresentadas aqui também podem ser vistas como um esquema de composição restrito para gramáticas de atributos, o que por sua vez pode nos ajudar a preencher a lacuna entre os mundos de atributos e funcionais.

Publicação
IEICE TRANSACTIONS on Information Vol.E85-D No.9 pp.1372-1383
Data de publicação
2002/09/01
Publicitada
ISSN online
DOI
Tipo de Manuscrito
PAPER
Categoria
Teoria e Modelos de Software

autores

Palavra-chave