リフレクティブ構成モデルの研究

反射构型模型研究

基本信息

批准号：
02249104
负责人：
米澤明憲
金额：
$ 5.12万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1990
资助国家：
日本
起止时间：
1990 至无数据
项目状态：
已结题

项目摘要

米澤の研究では、既に提案した、並列オブジェクト指向言語の計算モデルの一つであるアクタモデルに基づいた新しいリフレクティブな計算のモデルGroupーwide Reflecーtionに関してさらなる考察を行ない、モデルの正当性や、その応用などに関して様々な結果を得た。また、既に作成したリフレクティブな計算が表現可能な並列オブジェクト指向言語ABCL/Rに対して、Groupーwide reflectionの成果をとり入れ、新たに言語ABCL/R2を提案作成した。大内の研究では、リフレクション機能を持つ関数型言語Brownのインタプリタの代数的仕様記述を与えた。これは項書き換えシステムとして解釈可能な等式の集合であるため、リダクションにより直接実行可能である。また、従来の高階のラムダ計算に基づくものと異なり、一階の等式論理に基づいているため、プログラムに関する形式的な推論に適している。さらに、人間にとっても直接的に理解しやすい意味をもっているため、インプリメントや言語の拡張をしやすいと考えている。佐々の研究では、インクリメンタルな属性評価法について研究した。これは一般に、ソ-スプログラムに対する属性付き解析木が与えられているときに、ソ-スプログラムの一部が修正されたとき、必要最小限の再解析を行うだけで属性付き解析木を修正する方法である。属性付き解析木をオブジェクト、ソ-スプログラムを外界と考えると、これはリフレクティブなモデルとなっている。中島の研究では、分散オペレ-ティング・システムToMに関する研究を行なった。ToMの特徴の一つは、プログラムの単位であるモジュ-ルと、実行の単位であるスレッドを分離していることである。モジュ-ルをオブジェクト、スレッドのRPCをメッセ-ジと考えると、これは並列オブジェクト指向言語の一種とみなせる。しかもOSの機能自身もRPCで呼び出されるので、リフレクションにより実現されている。

Yonezawa的研究进一步考虑了基于Actor模型的新反思计算的新组范围反射模型，该模型是平行面向对象的语言的计算模型之一，并获得了有关模型及其应用的有效性的各种结果。此外，我们将整个范围反射的结果纳入了面向对象的语言ABCL/R中，这些语言可以表达已经创建的反思性计算，并提出了一种新的语言ABCL/R2。 Ouchi的工作给出了Brown的解释器的代数规范，Brown是一种功能性语言，具有反射功能。这是一组方程，可以解释为术语重写系统，可以通过减少直接执行。此外，与传统的高阶Lambda计算不同，它基于一阶平等逻辑，使其适用于有关程序的正式推断。此外，由于它具有容易直接理解的含义，因此很容易实施和扩展语言。 SASA的研究研究了增量属性评估方法。通常，当将归因分析树授予源程序时，修改源程序的一部分被修改为源程序的一部分时，这通常是一种使用最小重新分析的归因分析树的方法。将归因的分析树作为对象和源程序作为外部世界，这是一个反思模型。 Nakajima的研究对分布式操作系统Tom进行了研究。汤姆（Tom）的特征之一是将模块分开，该模块是程序的单位，而线程是执行单位。如果我们将模块视为对象和线程RPC是消息，则可以将其视为一种并行面向对象的语言。此外，在RPC中也调用了OS函数本身，因此它们是通过反射实现的。