再帰的非ストリクト構造データ生成の効率化

スポンサーリンク

概要

論文の詳細を見る
関数型のセマンティクスを持つ非ストリクトな言語は, 他言語に比べより柔軟なプログラム記述を可能とする。この種の言語が持ついくつかの非ストリクト性のうち, 特に構造データの非ストリクト性が有用であるといわれている。非ストリクトな構造データの生成において, 我々が従来用いてきた手法では構造データの要素を生成する計算体間の動的なスケジューリングが実行時のオーバヘッドの主な原因の1つであった。しかし, array comprehensionのようなある要素を同一構造データの他要素によって定義する再帰的な非ストリクト構造データの生成では, 要素間の参照依存関係により要素を生成する計算体間の実行順序を静的に決定することができる場合がある。本稿ではそのような場合に計算体をループ化する手法について述べる。
一般社団法人情報処理学会の論文
1997-09-24

著者

関連論文

もっと見る

スポンサーリンク