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

副作用を含む関数型言語の部分評価

函数式语言的部分评估，包括副作用

基本信息

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

项目摘要

副作用命令を含んだ関数型言語の部分評価手法の確立を目指して研究を行ない、以下のような成果を得た。1.高階関数を扱う言語においては、副作用命令を部分評価時に実行するのは非常に難しく、できたとしても効果が小さいことがわかった。そのため、副作用命令を実行するのではなく、その及ぼす影響の範囲を副作用解析によって特定し、その部分については部分評価せずにそのままコードとして残す、という方法をとった。この方針で関数型言語Schemeの部分評価器を作成し、実際に正しく動作することを確認した。さらに、その定式化、および正当性の証明も行なった。2.予定していたonline手法と履歴付記号値の組合せは、この変更後の枠組でも問題ないことがわかった。また、従来、不明確だったコード生成部についても計画通り定式化を行なうことができ、online部分評価器の構造がより明確になった。3.我々の方法は、従来用いられてきたoffline手法のlet文との関連を指摘されていたが、本研究では、我々の手法が従来のものよりも強力であることが示された。具体的には、従来、うまく扱えてこなかったポインタの同値性が、我々の手法では正しく扱われてことが示された。ポインタの同値性が保存されないのでは副作用命令の意味がなくなってしまうため、このことは重要である。4.自己反映言語への応用の第一歩として、副作用命令を使って書かれたインタプリンタの部分評価を行ない、十分な特化が行なわれていることを確認した。このことは、ここで作成した部分評価器が自己反映言語のコンパイラとして使用できること示している。今後の課題としては、副作用解析の精度の向上、部分評価器の効率の向上、自己反映言語への部分評価器の組み込みとさらなる実験、等があげられる。

Side effects include the establishment of some evaluation techniques for digital speech, and the following results are obtained. 1. High level of speech, side effects, command, and execution The analysis of side effects is carried out in the following ways: This policy is related to the establishment of digital speech scheme part of the evaluator, in fact, the correct action to confirm the In addition, the formal, formal and legitimate proof of the behavior of the company. 2. Set up an online method and set up a new set of problems. The structure of the online part of the evaluator is clear. 3. The method of this study is based on the analysis of the relationship between the two methods. The specific words are: The meaning of side effect command is important. 4. The first step in the use of self-reflection speech, side effects, commands, and instructions is to determine the behavior of the user. This is the first time that a speaker has been used to evaluate speech. Future issues include: accuracy of side effects analysis, effectiveness of some evaluators, self-reflection of speech, and organization of some evaluators.