Shortcut Deforestationにおけるコストの比較
スポンサーリンク
概要
- 論文の詳細を見る
関数プログラミングでは小さな基本的な関数の組合せで大きなプログラムを構築する. 等式(変換規則)&fnof=gは&fnofとgが等価であることを意味するが, プログラムP中で, これらの変換規則の左辺に相当する部分式を右辺止置き換える操作P &rArr P'をプログラム変換という. 通常プログラム変換は, より高速なプログラムの導出を目的として行われる. A.Gill らによる Shortcut Deforestation は関数間で中間データ構造を受け渡しするようなプログラムを変換して, 中間データ構造を伴わないプログラムを導出する手法である. 本稿では関数プログラムの先行評価におけるコスト評価手法を用いて, Shortcut Deforestation の適用前後のプログラムのコストを評価比較することにより, Shortcut Deforestation の効率の改善度を量り, 中間データ構造の除去がプログラムの効率改善にどの程度貢献するかを述べる.
- 一般社団法人情報処理学会の論文
- 1996-10-31
著者
関連論文
- 入力誤差を反映したボロノイ領域(情報基礎理論ワークショップ(LAシンポジウム)論文小特集)
- 5X-6 情報教育のための教育基本ソフトウェア・電子教材・教育支援プロジェクト
- 衝突検出機構のないマルチアクセスチャネルでの自己安定リーダ選択アルゴリズム(計算量理論とアルゴリズム論文小特集)
- リングネットワーク上での排他制御問題に対する故障封じ込め自己安定アルゴリズム
- リングネットワーク上での排他制御問題に対する故障封じ込め自己安定アルゴリズム
- リングネットワーク上での排他制御問題に対する故障封じ込め自己安定アルゴリズム(並列・分散)
- オブジェクト振舞いモデルの継承手法について
- 情報教育に何が一番必要か
- 合同な点クラスタに対する点クラスタボロノイ図の構成
- 入力誤差を反映したボロノイ領域
- 入力誤差を反映した凸包問題とその解法(計算量理論とアルゴリズム論文小特集)
- 2本の平行線間へのチェインの配置問題
- 固定端末, 携帯情報端末間での電子メール一元管理システムの実現
- 離散周波数制御を利用した2次電池の最長利用のためのタスクスケジューリングアルゴリズム
- 実行順序制約を有するタスク群における2次電池の最長利用のためのスケジューリングアルゴリズム
- 携帯機器の2次電池の最長利用を目的とするリアルタイムスケジューリングアルゴリズム
- 離散周波数制御を利用した消費電力最小のタスクスケジューリングアルゴリズム
- 2次電池の最長利用を目的としたリアルタイムスケジューリングアルゴリズム
- (84)ある創成科目の計画立案と実施状況 : 2年生向け創成科目の事例(第21セッション 創成教育(I))
- 固定サイズの再構成メッシュ上で凸包を求めるアルゴリズム
- 問題のサイズより小さい再構成メッシュ上でのソーティングアルゴリズム
- 固定サイズの再構成メッシュ上で凸包を求めるアルゴリズム
- 問題のサイズより小さい再構成メッシュ上でのソーティングアルゴリズム
- 固定サイズの再構成メッシュ上で凸包を求めるアルゴリズム(並列・分散)
- 問題のサイズより小さい再構成メッシュ上でのソーティングアルゴリズム(並列・分散)
- 固定サイズの再構成メッシュ上で任意個の値をソートするアルゴリズム
- 生涯教育に教育工学はどう寄与できるか--私見
- 異種クラスタシステムにおけるブロードキャストスケジューリングについて
- マウスドライバの改良によるポインティング精度改善について (ヒューマンインタフェースとインタラクション)
- 日常時と実験時のマウス操作の比較
- ポインティング精度向上のためのマウスドライバの改良
- 打鍵レベルでの計算機演習室内の操作履歴の解析と実験データとの比較
- 打鍵レベルでの計算機演習室内の操作履歴の解析と実験データとの比較
- WWW上の正規表現・有限オートマトンの自習・採点支援ツール
- 実験環境との比較によるマウスの日常操作履歴の解析
- Javaと電子メールを用いたレポート処理システム
- (83)通常講義の中でのPBL演習の試み(第21セッション 創成教育(I))
- (82)ある創成科目の計画立案と実施状況 : 1年生向け創成科目の例(第21セッション 創成教育(I))
- 衝突検出機構のないマルチアクセスチャネルでの自己安定リーグ選択アルゴリズムについて
- Shortcut Deforestationにおけるコストの比較
- (81)創成科目の考え方と実施案(第21セッション 創成教育(I))
- (34) プログラム設計教育における一つの試み(第9セッション 教育研究指導(3))
- クラス階層モデルにおける再構成法について
- プログラミング教育を支援するチャート型言語環境
- 電子メールとWWWを用いた学生と教官のコミュニケーション
- クラス階層構造の再構成におけるメソッドの扱い
- クラス階層グラフの文法表現
- 並列プログラムを生成するプログラム変換手法について