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

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

• 批准号: 09780251
• 负责人: 浅井 健一
• 金额: $ 1.28万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 1998
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09780251/
• 关键词: 自己反映言語; 部分評価; コンパイル; コンパイラジェネレータ; 副作用命令; 関数型言語

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

His words reflect の コ ン パ イ ル を refers し て, お も に そ の basic technology で あ る line part of the evaluation method of 価 の research を っ た. Part 価 device を himself reflects the speech の コ ン パ イ ラ と し て use す る た め に は, use す る が part review 価 device (1) very strong で, か つ (2) the rate of unseen に move く こ と, 2 points の が important で あ る. Youdaoplaceholder5 れらに against 応 て て the following ような ような results を get た. 1. Part of the evaluation of 価 apparatus の ability と し て, tectonic デ ー タ を き ち ん と Cha え る こ と が important で, そ の た め に は part review 価 に on various の numerical と コ ー ド の struck side を maintain す る こ と が important で あ る こ と を 発 see し た. こ れ に base づ い て be interstate に online の part review 価 を し consummate, そ の unseen fruit を か indeed め た. The <s:1> <s:1>, <s:1> とがわ method に online ため efficiency に problem がある とがわ とがわ った った. 2. よ り な part of the working rate review 価 を be presently す る べ く, written の way を offline に company, zhang す る method proposed を し た. The <s:1> <s:1> method <e:1>, construction デ デ タをうまく handle う specialization device と is made と binding time parser device <e:1> is made と と うふた うふた らなる らなる part of the らなる. こ の う ち the former は, necessary に 応 じ て numerical と コ ー ド の struck を keep し, か つ コ ー ド の avoid copying を け る た め コ ー ド part を will ず let type に residual す こ と で う ま く で き る こ と が わ か っ た. こ の specialized apparatus を make っ て be interstate に い ろ い ろ な specialized line を い, their applicable に よ る コ ン パ イ ラ ジ ェ ネ レ ー タ の made を containing め て う ま く dynamic く こ と を confirm し た. The latter に masato し て は, 従 to の bound analytic の gimmick を company, zhang す る こ と で, numerical と コ ー ド の struck party を hold つ べ を き places particular で き る こ と を shown し た. で そ の process, analytical は constrained, comparison, straight に restrict を generated す る type シ ス テ ム と し て demean で き る が and restricting を solution く た め に は 従 to の gimmick と violations い, 2-stage に わ け る necessary が あ る こ と が わ か っ た. When binding, analyze the に real situation に real action を line に, うまく action く く とを とを to confirm the た た. Future の subject と し て は, こ こ で proposal し た bound when parsing の multistage の part review 価 へ の 応 with line, today back to は う こ と が で き な か っ た own words reflect の コ ン パ イ ル へ の be interstate の applicable な ど が あ げ ら れ る.

项目成果

Kenichi Asai, Hidehiko Matsuhara, Akinori Yonezawa: "Partial Evaluation of Call-by-value λ-caleulus with Side-effects" Proceedings of the ACH SIGPLAN Synposium on Patal Evaluation and Semamtics-Based program Maripnlation (PEPM'97). 12-21 (1997)

Kenichi Asai、Hidehiko Matsuhara、Akinori Yonezawa：“带副作用的按值调用 λ-calulus 的部分评估”ACH SIGPLAN Patal 评估和基于语义的程序 Maripnlation 研讨会的记录 (PEPM97)。 (1997)

Kenichi Asai,Hidehiko Masuhara,Akinori Yonezawa: "Partial Evaluation of Call-by-value A-caleulus with Side-effects" Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semihistics・Based Program Manipulativn(PEPM'97). 12-21 (1997)

Kenichi Asai、Hidehiko Masuhara、Akinori Yonezawa：“带有副作用的按值调用 A-calulus 的部分评估”ACM SIGPLAN 部分评估和基于半统计的程序操作研讨会论文集（PEPM97）。 (1997)

浅井 健一: "静的が動的な式を許すような部分評価器のための束縛時解析" 第1回プログラミングおよびプログラム言語ワークショップ(PPL'98)論文集. (1999)

Kenichi Asai：“允许静态但动态表达式的部分求值器的界限时间分析”第一届编程和编程语言研讨会论文集（PPL98）（1999）。