副作用を含む関数型プログラムの部分評価に向けて

スポンサーリンク

概要

論文の詳細を見る
部分評価は、プログラムを既知の入力によって特化して効率化するプログラム変換の一種であり、理論、実際両面においてその有用性が注目されている。しかし、これまでの関数型言語の部分評価器は純粋な関数型言語を対象としており、副作用命令を扱うことはできない。一方、最近、C言語用の部分評価器が提案されているが、offlineの方式を取っているためわかりにくく、関数型言語との関連も見えにくい。本稿では、onlineの方式を用いて副作用命令を含む関数型言語の部分評価器を作成し、onlineの方式で何ができ、どのような問題が生じるのかを考察する。それを通して、より強力な部分評価器を作るにはどうしたらよいのかを考えていく。
一般社団法人情報処理学会の論文
1995-11-30

著者

関連論文

もっと見る

スポンサーリンク