完全遅延部分評価のための処理系の開発

全延迟部分评估处理系统的开发

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

部分計算とは,汎用プログラムを実行環境に基づいて特殊化し,効率的なプログラムに変更することである.完全遅延評価と呼ばれる関数プログラムの評価方式は,部分計算の能力をある程度備えていることがわかっている.この研究では,部分計算の実行に適した技法を組込んだ完全遅延評価用の翻訳系の開発をし,これを使った実験を行なった.その結果,新たに以下のような知見を得た:・表計算,遅延メモ化,冗長な仮引数の除去,共通部分式の削除といった,部分計算に有効な技法を組込んだコードを生成する翻訳系を提案した.この翻訳系を科学研究費補助金によって購入した高速なワークステーション上に実現し,これをパタン照合アルゴリズムの導出に適用して,比較的単純なプログラムから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, some of the calculation results show that the system is completely extended, and the system is used to make sure that the system is used to improve the performance. The results show that the following information has been obtained: table calculation, delay reduction, lengthy argument removal, common partial reduction and partial calculation. In the department of scientific research, the funding for scientific research is not available in the department of scientific research, but in the department of scientific research, the department of scientific research is in the department of scientific research. in the department of scientific research, the department of scientific research has received information from the department of scientific research, and the department of scientific research. In the course of the study, some of the calculation results show that the theory of the system is correct, and the results show that the results show that the theory of the theory is not correct. This is the department of science and technology, and the possibility is an example of the possibility. This is a complete delay, a partial delay and a list of international data, and a mandatory analysis. The package is configured to remove the data, update to avoid the error, omit the error, the result, and the line speed to improve the performance.