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

反射构型模型研究

• 批准号: 03235104
• 负责人: 米澤 明憲
• 金额: $ 6.72万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1991
• 资助国家: 日本
• 起止时间: 1991 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-03235104/
• 关键词: リフレクション; 並列オブジェクト; 項書き換システム; 属性文法; 分散オペレ-ティングシステム

(a)通常のオブジェクト指向言語の実行は、その処理系が持つ実行時カ-ネルすなわち中間コ-ドインタ-プリタ、メソッドディスパッチの機構、ガ-ベ-ジコレクタなどの振舞いによって特徴づけられている。並列オブジェクト指向言語の場合、それらに加えてスケジュ-リングおよびノ-ド間通信を実現する実行時カ-ネルが必要となる。しかし、アプリケ-ションの性質やハ-ドウエアのア-キテクチャ、実行環境の化に応じて実行時カ-ネルの振舞いの変更の必要が生じる場合がある。特に分散環境ではその多様さ複雑さから、そのような状況が多く発生する。そこで我々は、実行時ル-チンをユ-ザが定義したものと動的に置き換え可能で、なおかつ高い記述性を持つ実用的リフレクティブア-クテクチャシステムRbClを構築した。(b)(1)属性文法のインクリメンタル属性評価法の基礎となる、インクリメンタルLR構文解析法について研究した〔1〕。(2)属性文法の考え方を用い、解析木の各ノ-ドをオブジェクトとみなして、グラフィカル・ユ-ザ・インタフェ-スを記述する研究を行なった〔2〕。いずれも、外界からの対話的な操作によって、解析木上の各ノ-ドが交信しつつ、その内部状態(属性値)を変化させるリフレクティブなモデルであると考えられる.(c)リフレクテイブな関数型言語BrownおよびBlondの仕様を代数的仕様記述法により形式的に記述した.この仕様は抽象デ-タ型の意味で抽象的で,デ-タの具体的な表現と独立できる.また,一階等式論理に基づいているので機械的な推論に有利である.この仕様をCLOS(Common Lisp Object System)でインプリメントした.各等式はCLOSのメソッドとほぼ1対1に対応し,見通しよく,かつ,効率よく実現できた.

(a) generally speaking, the system of information refers to words and actions, and the department of science and technology holds that in the middle of the conversation, in the middle of the train, in the middle of the train, in the phone, in the office, in the office, in the machine, in the dance room, in the dance room. At the same time, it also lists the cooperation between the two parties, the communication between the two parties, and the time when it is necessary for the communication between the two parties. It is more necessary for health workers to cooperate with each other during the operation of the environmental protection program and during the operation of the environmental protection program. Especially in the distributed environment, there are many environmental pollution problems, such as environmental pollution, environmental pollution, and environmental pollution. Please contact me, please tell me that it is possible to define the settings that you can use, and you will be able to record the information that you use. Please contact me. Please contact me. (B) (1) attribute grammars

项目成果

近藤 久,栗原 正仁,大内 東: "“Reason Maintenance Systemによる項書き換えシステム停止性検証の効率化"" 情報処理学会論文誌. 32巻9号. 1046-1056 (1991)

Hisashi Kondo、Masahito Kurihara、Higashi Ouchi：“使用原因维护系统提高术语重写系统停止验证的效率”，《日本信息处理学会会刊》第 32 卷，第 9 期，1046-1056（1991 年）。

荻原 一隆,佐々 政孝: ""インクリメンタルなLR構文解析"" 日本ソフトウェア科学会第8回大会論文集. A5ー1. (1991)

Kazutaka Ogihara、Masataka Sasa：“‘增量 LR 解析’”日本软件学会第八届年会论文集 A5-1。

Yuuji Ichisugi,Satoshi Matsuoka,Takuo Watanabe and Akinori Yonezawa: ""An Object-Oriented Concurrent Reflective for Distributed Environment"" 8th Conference Proceedings Japan Society of Software Science and Technology. 405-408 (1991)

Yuuji Ichisugi、Satoshi Matsuoka、Takuo Watanabe 和 Akinori Yonezawa：“分布式环境的面向对象并发反射”第 8 届会议论文集日本软件科学技术学会。

M.Kurihara and A.Ohuchi: ""An algebraic specification of a reflective language"" Proc.IEEE International Computer Software & Applications Conference(COMPSAC'91). 231-236 (1991)

M.Kurihara 和 A.Ohuchi：“反射语言的代数规范”Proc.IEEE International Computer Software

Akinori Yonezawa: ""A Reflective Object Oriented Concurrent Language ABCL/R,"" Proceedings UK/Japan Workshop on Parallel Lisp:Languages and Systems,Sendai,1989,Lecture Notes in Computer Science. Vol.491. 254-256 (1991)

Akinori Yonezawa：“一种反射性面向对象并发语言 ABCL/R”，英国/日本并行 Lisp 研讨会论文集：语言与系统，仙台，1989 年，计算机科学讲义。