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

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

• 批准号: 08780244
• 负责人: 浅井 健一
• 金额: $ 0.64万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1996
• 资助国家: 日本
• 起止时间: 1996 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-08780244/
• 关键词: 部分評価; 副作用命令; 履歴付記号値; 副作用解析; 関数型言語; 自己反映言語

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

Side effects command contains を ん だ masato part number type words の review 価 gimmick の establish を refers し て を line な い, the following の よ う た を な achievements. 1. The number of high-order masato を Cha う words に お い て は and ordered the を part review 価 に side-effects line be す る の は very に difficult し く, で き た と し て も unseen small fruit が さ い こ と が わ か っ た. そ の た め, side effects command を line be す る の で は な く, そ の and ぼ す influence の van 囲 を side-effects parsing に よ っ て specific し, そ の part に つ い て は part review 価 せ ず に そ の ま ま コ ー ド と し て す residue, と い う method を と っ た. The <s:1> <s:1> policy で is related to the number type language Scheme とを part of the evaluator 価 is を to be made <s:1>, the actual に is correct <s:1>, the く action is する, the とを is confirmed た. Youdaoplaceholder0, そ <s:1> formalization, および legitimacy <s:1> proof of さらに line なった. 2. The designated し て い た online technique と shoe bearing on pay mark numerical の combination せ は, こ の - after more の 枠 group で も problem な い こ と が わ か っ た. ま た, 従 to, not clear だ っ た コ ー ド generated department に つ い て も plan through り demean を line な う こ と が で き, the online part of the review 価 の tectonic が よ り clear に な っ た. 3. I 々 の way は, 従 to use い ら れ て き た offline methods の let wen と の masato even を blame さ れ て い た が, this study で は, I 々 の gimmick が 従 to の も の よ り も powerful で あ る こ と が shown さ れ た. Specific に は, 従, う ま く Cha え て こ な か っ た ポ イ ン タ の with numerical が, I 々 の gimmick で は is し く Cha わ れ て こ と が shown さ れ た. ポ イ ン タ の with numerical sex が save さ れ な い の で は side command の mean が な く な っ て し ま う た め, こ の こ と は important で あ る. 4. Their words reflect へ の 応 with the first step と の し て, side effects command を っ て book か れ た イ ン タ プ リ ン タ の part review 価 を line な い, very な specialized が な わ れ て い る こ と を confirm し た. こ の こ と は, こ こ で made し た part 価 device が himself reflects the speech の コ ン パ イ ラ と し て use で き る こ と shown し て い る. Future の subject と し て は, side effects analytic precision の の upward, part of the review 価 の の sharper rate up, his words reflect へ の part review 価 apparatus の group み 込 み と さ ら な る be 験, such as が あ げ ら れ る.

项目成果

Kenichi Asai,Sateshi Matsuoka,Akinori Yonezawa: "Dnptication and Partral Evaluation" Lisp and Symbolic Compatation誌(Kluwev Academic Publishevs). Vol9 Nos2/3. 203-241 (1996)

Kenichi Asai、Sateshi Matsuoka、Akinori Yonezawa：“Dnptication 和部分评估”Lisp 和符号兼容（Kluwev 学术出版社）第 9 卷第 203-241 期（1996 年）。

Kenich,Asai,Hidhiko Masuhara,Akinori Yonezawa: "Partial Evaluation of Call-by-value λ-calcalus with Side-effects" Proceedings of the ACM SIGPLAN Sympusium on Partial Evaluation and Semmtics-Based Program Manipulation (PEPM'97). (発表予定). (1997)

Kenich、Asai、Hidhiko Masuhara、Akinori Yonezawa：“带副作用的按值调用 λ 演算的部分评估”ACM SIGPLAN 部分评估和基于语义的程序操作研讨会论文集 (PEPM97)。 ）

Kenich,Asai,Hidhiko Masuhara,Akinori Yonezawa: "Partial Evaluation of Call-by-value λ-calcalus with Side-effects" 東京大学理学部情報科学科テクニカルレポート. 96-4. 1-30 (1996)

Kenich、Asai、Hidhiko Masuhara、Akinori Yonezawa：“带副作用的按值调用 λ 演算的部分评估”技术报告，东京大学理学院信息科学系 96-4。 (1996)