权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

自己反映(リクレクティブ)言語のセマンティクスと部分評価による効率的実現

通过自省语言语义和部分评价高效实现

基本信息

批准号：
07780231
负责人：
浅井健一
金额：
$ 0.58万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1995
资助国家：
日本
起止时间：
1995 至无数据
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07780231/
关键词：
自己反映言語関数型言語部分評価副作用命令

项目摘要

自己反映計算(Reflective Computation)とは、計算中にその計算システム自体の状態を参照、操作できるような計算のことである。本研究では、そのセマンティクスの明確化、及び効率的実現を目指して、以下の3点を行なった。1.既に作成していたインタプリタをさらに詳細に検討・整理することで、その構造をより明らかにした。具体的には、コードが直接実行されるものと解釈実行されるものとに分類され、それぞれが効率的なインタプリタと柔軟性の高いインタプリタに対応していることを示した。その上で、効率を損なわない範囲で解釈実行されるコードを導入することが、柔軟性の高い効率的な自己反映言語には重要であることを示した。2.自己反映言語を柔軟性を保ちつつ効率的に実現するためには、解釈実行される部分に部分評価器を使うことが必要であることを示した。さらに、実際にどの部分を部分評価すれば良いのかを抽出し、部分評価器が種々の副作用命令、特に入出力型とデータ構造への破壊的代入型の副作用を扱える必要があることを示した。3.実際に部分評価器を使って自己反映言語をコンパイルするため、副作用を含む関数型言語に対する部分評価器の作成法を検討した。このうち、入出力型の副作用に関しては、履歴付記号値を使うことで扱えることを示し、実装した。データ構造への破壊的代入については、破壊リストを導入することで安全に扱えることを示し、実装した。これをより強力なものとし、実際に自己反映言語のコンパイルに使っていくのは、今後の研究課題である。また、副作用命令のうち変数代入については、エイリアスに関して困難な問題が存在することを発見した。変数代入は自己反映言語側では必ずしも必要ないが、この問題の解決も今後の課題である。

Reflective Computation refers to the state of the computation itself. This study aims to clarify the definition of the information and the realization of the efficiency. The following three points are discussed. 1. In addition to the detailed discussion of the structure of the project, For example, if you want to improve your performance, you can choose to improve your performance. For example, if you want to improve your performance, you can improve your performance. 2. To reflect the flexibility of speech, to protect the effectiveness of the performance of the part of the evaluation device, to make the necessary In addition, some of the evaluation results show that the side effects of the input type and the input type are necessary. 3. The method of making partial evaluators that reflect speech and its side effects including digital speech is discussed. The side effects of the input force are related to the input force, and the output force is related to the input force. The structure of the device is not stable, and the device is not stable. This is a powerful way to reflect on speech and future research topics. The number of side effect commands is not enough. The number of substitution is reflected in the speech side, which is necessary to solve the problem and future problems.