部分計算に適した関数プログラムの完全遅延評価環境の実現

为适合部分计算的函数程序实现完整的惰性求值环境

• 批准号: 06780239
• 负责人: 金子 敬一
• 金额: $ 0.64万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06780239/
• 关键词: 完全遅延評価; 関数プログラム; 部分計算

部分計算とは,汎用プログラムを実行環境に基づいて特殊化し,効率的なプログラムに変更することである.完全遅延評価と呼ばれる関数プログラムの評価方式は,部分計算の能力をある程度備えていることがわかっている.この研究では,部分計算の実行に適した技法を組込んだ完全遅延評価系の開発をし,これを使った実験を行なった.その結果,新たに以下のような知見を得た:・まず表計算,遅延メモ化,冗長な仮引数の除去,共通部分式の削除といった,部分計算に有効な技法を組込んだ処理系を提案した.この処理系を科学研究費補助金によって購入した高速なワークステーション上に実現し,これをパタン照合アルゴリズムの導出に適用して,比較的単純なプログラムからAho-Corasickアルゴリズムに対応するプログラムを導出することに成功した.・また,従来の研究によって部分計算を実行することで,インタプリタからコンパイラやコンパイラコンパイラを導出できることが理論的に示されていたが,満足すべき結果は出ていなかった.本システムによって、その可能性を示すことができた.・さらに,部分計算の応用例として,プログラムの起動時に与えられるデータに基づきコードをコンパイルしてロードモジュールを構成する方式において,与えられるデータ以外の部分はあらかじめ部分計算しておく手法を提案し,これを実現するための環境を実現した.

Part of the calculation is based on the cost of environmental specialization, and the rate is higher than that of others. There is a complete delay in the calculation of the number of methods, and some calculations are made in terms of the degree of ability. After a lot of research and some calculations, it is necessary to completely extend the operation of the system, and make sure that it is necessary to improve the operation of the system. The results show that the following results are satisfactory: the calculation of the table, the reduction of delay, the removal of lengthy arguments, the removal of errors by common parts, and the proposal of the Department of Science and Technology. The Department of Science