2009 Fiscal Year Annual Research Report
再利用性に優れた型付オブジェクト指向プログラミング言語の理論と設計
Project/Area Number |
08J04230
|
Research Institution | Kyoto University |
Principal Investigator |
齊藤 智恵理 京都大学, 情報学研究科, 特別研究員(DC1)
|
Keywords | self type constructors / MyType / 再利用 / クラス / 形式的手法 |
Research Abstract |
本年度の研究成果は、MyTypeを型構成子に一般化した、self tvpe constructorsである。MyTypeとは、オブジェクト指向プログラミング言語におけるオブジェクトの雛形であるクラスにおいて、自身を指す型であり、継承に伴ないその意味が継承後のクラスへと共変するという性質がある。そのため、MyTypeはequalメソッドの引数型やcloneメソッドの返り値型に用いることが出来る。しかし、コレクションクラスのような汎用クラスが、mapのように要素の型を変換するといったメソッドを持つ時、mapの返り値型にMyTypeを用いることは出来ない。なぜならは、MyTypeは、その意味にクラスのパラメータを含むからである。そこで、本研究では、MyTypeを一般化し、その意味にパラメータを含まないよう拡張した。 この提案の正しさを証明するために形式的手法を使用した。形式的手法を使用した。形式的手法とは、提案するプログラミング言語の極小モデルを作成し、その性質を数学的に厳密に証明する手法である。ここでは、MyTypeの拡張であるself type constructorsを含むようなJava言語の拡張を作成し、その文法、型付け規則、操作的意味論を定義した。その上で、この形式的体系の性質として、型安全性定理を証明した。これにより、汎用コレクションクラスのようなクラスがmapメソッドを持っていたとしても、安全に再利用出来ることが分かった。
|
Research Products
(1 results)