蓄積引数を持つ関数プログラムの融合変換

情報処理学会 Web Site 参考文献8件

書誌事項

タイトル別名
  • チクセキ ヒキスウ オ モツ カンスウ プログラム ノ ユウゴウ ヘンカン
  • Promotional Transformation of Functional Programs with Accumulative Parameter
  • 基礎理論

この論文をさがす

抄録

関数プログラムでは，関数合成間で受け渡される中間的データ構造を生成しないように，関数合成を1つの関数に融合する（融合変換する）ことが，効率改善にとって重要である．構成的アルゴリズム論は，Catamorphism Hylomorphismなどと呼ばれる特定の再帰パターンと，これらに対する強力な変換定理を用いて，上の問題の解決を試みる．本論文は，蓄積引数を持つ関数の融合変換のための2つの手法?高階関数のCatamorphismに基づく方法とHylomorphismに基づく方法?に注目し，前者に基づく融合変換操作は，後者による融合変換に帰着できることを示す．まず簡単な具体例を通して両手法の変換手順を示した後，一般の場合について上の主張を証明する．本論文で示される事実により，構成的アルゴリズム論に基づくプログラム変換システムでは，Hylomorphismを用いた変換だけを考えればよいという，有益な結論が得られる．

In order to gain the efficiency of functional programs,it is important to fuse the composition and eliminate intermediate data structures passed through the composition.Constructive Algorithmics is one of the promising approaches to this problem.This paper focuses on functions with accumulative parameters,and discusses two transformation strategies-one based on higher-order catamorphisms and the other based on hylomorphisms.It is shown that programs which can be transformed by the former can be also transformed by the latter.The result of this paper shows that program transformation system based on Constructive Algorithmics has only to take into account the strategy by hylomorphisms.

収録刊行物

参考文献 (8)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ