変換履歴の再利用による高レベルのプログラム変換
スポンサーリンク
概要
- 論文の詳細を見る
プログラム変換は効率の悪いプログラムを効率の良いプログラムに変換する。しかし、従来の部分計算法やunfold/fold変換のようなプログラム変換法は、例えば、二分探索のような技法を直接利用したプログラムを生成することが難しい。このため、このような高レベルの知識はルールとしてシステムに保持されなければならない。本稿では、まず高階関数で簡潔に記述したプログラムを人間の高レべルの知識を用いるために対話的に変換する。そして、その変換履歴を一般化し他の類似の問題に適用することを考える。
- 1992-02-24
著者
関連論文
- 変換履歴の再利用による高レベルのプログラム変換
- ハイパーリングのハイパーキューブへの埋め込み
- 6N-10 MPIプログラムのためのランダム遅延によるUnit Testing Framework(数値計算とコンパイラ技術,学生セッション,アーキテクチャ)
- AND-EXOR論理式の簡単化並列アルゴリズム
- 拡張前提式を用いたATMSの並列化
- リフレクション原理によるフレームシステムの拡張
- ハイパーキューブ上の安全な情報伝達 (計算モデルとアルゴリズム)
- 情報伝播アルゴリズムによる安全なメッセージ伝達
- Some Modifications of Lockout-Free Mutual Exclusion Algorithms (Algorithms and Theory of Computing)
- ロックアウトフリーな相互排除アルゴリズム
- プログラム変換によるCPSコンパイラの最適化に関する研究
- 状態に依存したプログラムの合成
- 相互排他アルゴリズムのメモリ競合解析
- パーミュテーショナルグラフの独立全域木
- パーミュテーショナルグラフのブロードキャスティング
- MOSセルを用いた2段論理回路綱の設計
- 2値画像の一符号化法と演算アルゴリズム
- 論理関数のあるクラスについて最小性を保証するAND-EXOR論理式の簡単化アルゴリズム
- パワーリスト記述からのハイパキューブアルゴリズムの生成(計算論,計算モデル)
- 故障があるアレンジメントグラフのブロードキャスティング
- 故障があるアレンジメントグラフのブロードキャスティング
- プログラム変換における変換履歴再利用の支援
- 再帰関数への変換による不変表明の生成