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

部分評価を使った自己反映言語のコンパイル技法

使用部分评估的自反射语言的编译技术

基本信息

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

项目摘要

自己反映言語のコンパイルを目指して、おもにその基礎技術である部分評価法の研究を行った。部分評価器を自己反映言語のコンパイラとして使用するためには、使用する部分評価器が(1)十分、強力で、かつ(2)効率的に動くこと、の2点が重要である。これらに対応して以下のような結果を得た。1. 部分評価器の能力として、構造データをきちんと扱えることが重要で、そのためには部分評価時に各式の値とコードの両方を保持することが重要であることを発見した。これに基づいて実際にonlineの部分評価器を作成し、その効果を確かめた。しかし、この方法はonlineのため効率に問題があることがわかった。2. より効率的な部分評価を実現するべく、上記の方法をofflineに拡張する方法を提案した。この方法は、構造データをうまく扱う特化器の作成と束縛時解析器の作成というふたつの部分からなる。このうち前者は、必要に応じて値とコードの両方を保持し、かつコードの複製を避けるためコード部分を必ずlet式に残すことでうまくできることがわかった。この特化器を使って実際にいろいろな特化を行い、自己適用によるコンパイラジェネレータの作成を含めてうまく動くことを確認した。後者に関しては、従来の束縛時解析の手法を拡張することで、値とコードの両方を持つべき場所を特定できることを示した。その過程で、束縛時解析は、比較的、素直に制約を生成する型システムとして定式化できるが、制約を解くためには従来の手法と違い、2段階にわける必要があることがわかった。束縛時解析は実際に実装を行い、うまく動くことを確認した。今後の課題としては、ここで提案した束縛時解析の多段の部分評価への応用、今回は行うことができなかった自己反映言語のコンパイルへの実際の適用などがあげられる。

The research on the evaluation method of the basic technology of self-reflection speech is carried out Part of the evaluator reflects the speech itself. Part of the evaluator (1) is very strong, part of the evaluator (2) is effective, part of the evaluator (2) is important. The result of this investigation is that 1. The ability of the partial evaluator is important, the structure is important, and the value of the partial evaluator is important. This is the first time that the online part of the evaluator has been created. The method of online is to solve the problem. 2. The method of offlining is proposed. This method is to construct a specifier and to create a binding resolver. The former, the latter, the former, the latter, the latter, the former, the latter, the latter, the This specification is implemented in the process of customization, and is applicable to the production of software. The latter is related to the analysis method of the binding time, the value of the binding time and the specific location. The process, the constraint time analysis, the comparison, the element direct restriction, the generation, the pattern, the restriction, the solution, the method, the violation, the 2-stage restriction, the necessity, the method, the method. When you're in the middle of something, you're in the middle of something. In the future, the topic of the topic is to analyze the use of multi-paragraph partial evaluation when it is bound. Now, the topic of the topic is to reflect the actual application of speech.