• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

並列計算のための自己反映オブジェクト指向言語処理系

Research Project

Project/Area Number 08780247
Research Category

Grant-in-Aid for Encouragement of Young Scientists (A)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionThe University of Tokyo

Principal Investigator

増原 英彦  東京大学, 大学院・総合文化研究科, 助手 (40280937)

Project Period (FY) 1996
Project Status Completed (Fiscal Year 1996)
Budget Amount *help
¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1996: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywords自己反映計算 / リフレクション / 並列オブジェクト / メタオブジェクトプロトコル / 委譲(delegation) / 部分計算
Research Abstract

本研究では、自己反映並列オブジェクト指向言語ABCL/R3の言語設計および、インタプリタ処理系の作成を行い、従来のものより、より記述が容易で効率的な実行が可能となる言語処理系作成のための方向付けが得られた。具体的には、以下のとおりである。
(1)ABCL/R3の言語設計、特にメタオブジェクトプロトコルに関しては、継承と委譲(delegation)による拡張を念頭に置き、細分化されたメソッド群によって定義を行った。特にこの細分化は、部分計算による実現を前提とすることで、プログラマが利用しすい形で定義することが可能になっている。そのため、報告者らがこれまで設計・実現を行ってきたABCL/R./R2に比べて、メタオブジェクトの拡張に継承機構が利用でき、再利用性を向上させている。
また、メタインタプリタ設計に関しては、新しく委譲にもとづいた設計を行った。これによって、インタプリタ実行時にインタプリタ定義を拡張することが可能になり、動的かつ局所的な変更を容易にしている。さらに委譲オブジェクトは、関数定義への変換できるように制限されているため、部分計算を用いたコンバイルを容易にしている。
(2)Schemeの並列オブジェクト指向拡張であるSchematicをもとにして、ABCL/R3のインタプリタ処理系を作成した。現在のところ、メタレベルの変更を含めた簡単なサンプルプログラムが動いている。Schematic処理系は、並列環境に対応しているため、ABCL/R3処理系を並列に動作させることは容易であると思われる。
また、コンパイル方法については、メタオプジェクトを部分計算した結果を、他のオブジェクトと同様に扱うための枠組が必要であることが分かり、現在はその解決方法を新たな研究課題として検討している。

Report

(1 results)
  • 1996 Annual Research Report
  • Research Products

    (3 results)

All Other

All Publications (3 results)

  • [Publications] hidehiko Mashuhara: "Inplementing Parallel Language Construets Using a Reflective Object-Oriented Language" Proceedings of Reflection'96 Symposium. 79-91 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 増原英彦: "並列自己反映言語システムの部分計算によるコンパイル技法" 情報処理学会論文誌. 37(7). 1290-1298 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Kenichi Asai: "Partial Evaluation of Call-by-value lambda-calculus with Side-effects" Partial Evaluation and Semantic-Based Program Manipulation (PEPM). (to appear). (1997)

    • Related Report
      1996 Annual Research Report

URL: 

Published: 1996-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi