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

動的メソッドを扱うオブジェクト指向言語の型システム

Research Project

Project/Area Number 10780187
Research Category

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

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionKyoto University

Principal Investigator

西村 進  京都大学, 数理解析研究所, 助手 (10283681)

Project Period (FY) 1998 – 1999
Project Status Completed (Fiscal Year 1999)
Budget Amount *help
¥1,900,000 (Direct Cost: ¥1,900,000)
Fiscal Year 1999: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 1998: ¥800,000 (Direct Cost: ¥800,000)
Keywords型システム / 型推論 / オブジェクト指向 / 制約システム / 動的メソッド呼出し
Research Abstract

今年度は多相型を制約として表す型システムおよびその型推論アルゴリズムに関して研究を行った。
多相型システムとは、一つのメソッドあるいは関数を、複数の異なる型に対して適応することを許すような型システムを言う。多相型についてはよく研究されてきており、通常のプログラミング言語における多相型の型推論アルゴリズムについてもよく知られている。
しかしながら、この研究のテーマとなっている動的メソッド呼び出しのためには、従来のアルゴリズムでは不十分である。なぜなら、従来のアルゴリズムでは、多相的なメソッドの型はそれが実際に使われる前に決定していなければならないからである。動的メソッドの型は実行時に初めてわかるので、このような状況を仮定するのは困難である。
本研究ではこの問題を、多相的な型付けを制約として表すことで解決できることを示した。すなわち、型推論時にはメソッドのもつ多相型とそれが使われる時の型が充たすべき関係を制約式として生成し、メソッドが実際に使われるときに型が制約を充足するかどうか調べることによって、動的メソッドが多相型を持つことを許すことができる。
従来の研究に対する本研究の利点は、制約システムを使うことにより、多相型を含む型システムが完全に宣言的に定義され、そのため型推論も非常に単純な制約生成および制約解消の手続きとして理解できることである。この結果は、いくつかの研究集会などで発表済み/予定であり、雑誌等への出版の用意を進めているところである。また、昨年度独国Saarbrucken大学のMartin Muller氏と行った研究の成果はInternational Journal of Foundations of Computer Scienceに近日掲載予定である。

Report

(2 results)
  • 1999 Annual Research Report
  • 1998 Annual Research Report

Research Products

(5 results)

All Other

All Publications (5 results)

  • [Publications] MartinMuller,西村進: "Type Inference for first-class Messages with Feature Constraints"International Journal of Foundations of Computer Science. 発表予定.

    • Related Report
      1999 Annual Research Report
  • [Publications] 西村進,大堀淳: "Parallel Functional Programming via Date-Parallel Recursion"Journal of Functional Programming. 9,4. 427-462 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 大堀淳,ジャックガリグ,西村進: "コンピュータサイエンス入門アルゴリズムとプログラミング言語"岩波書店. 280 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Martin Muller,西村 進: "Type Inference for First-Class Messages with Feature Constraints" ASIAN Computing Science Conference(ASIAN98),LNCS.1538. 169-187 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 西村 進,大堀淳: "Parallel Functional Programming via Data-Parallel Recursion" Journal of Functional Programming.

    • Related Report
      1998 Annual Research Report

URL: 

Published: 1998-03-31   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi