再利用性に優れた型付オブジェクト指向プログラミング言語の理論と設計

具有优良可重用性的类型化面向对象编程语言的理论与设计

• 批准号: 08J04230
• 负责人: 齊藤 智恵理
• 金额: $ 1.15万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2008
• 资助国家: 日本
• 起止时间: 2008 至 2010
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08J04230/
• 关键词: MyType; 再利用; クラス; カプセル化; self type constructors; 形式的手法; バイナリメソッド; 型健全性; オブジェクト指向; プログラミング言語; 総称型; Java

本年度は、Bruceらの提案するMyTypeとOwnership。typesやUniverse typesといったオブジェウト指向プロゲラミンゲ言語におけるカプセル化を制御するための型との関わりについて調査、研究した。MyTypeは、クラスの安全な再利用を目的とする型で、universe typesなどとは、関わのが薄そうに思えるかも知れないが、それらの使用パターンを調査してみると、実用的な範囲で類似性があることが分かった。このことは、プログラムに型を付けるにあたって、MyTypeとUniverse types別々に与えてやる必要がないことを意味し、1つの記述で、2種類の安全性に関わる性質が得られるようなプログラミング言語の開発に繋がり、重要な発見であると言える。この提案が正しいことを証明するために、形式的手法を使用した。形式的手法とは、提案するプロゲラミンゲ言語の極小モデルを作成し、その性質を数学的に厳密に証明する手法である.ここでは、MyTypeとUniverse typesの両方を含むJava言語の極小モデルを作成し、その文法、型付け規則、操作的意味論を与え、その性質として、型安全性定理、owner-as-modifier定理を証明した。これらの定理により、1つの記述により、2種類の安全性が同時に得られることが分かった。

This year, Bruce proposed MyType Ownership. types Universe types are directed to research and study in the field of speech control. MyType, type, universe types, purpose, purpose. This is a description of the nature of the security of the two categories. The proposal is correct and the form is used. The form of the technique, the proposal, the minimum speech, the nature, the mathematical proof, the technique MyType and Universe types include Java language, syntax, type rules, operation theory, type security theorem and owner-as-modifier theorem. 2. The security of a class is simultaneously obtained.

项目成果

The Essence of Lightweight Family Polymorphism

轻量级家族多态性的本质

• 发表时间: 2008
• 期刊: Journal of Object Tchnology 7(5)
• 作者: Yusuke Ogura;Takahiro Nishimura;and Jun Tanida;稲守孝之;Kinji Ono;Chieri Saito
• 通讯作者: Chieri Saito

Self type constructors

• DOI: 10.1145/1640089.1640109
• 发表时间: 2009-10
• 作者: C. Saito;Atsushi Igarashi

Matching MyType to subtyping

• DOI: 10.1016/j.scico.2012.12.010
• 发表时间: 2013-07
• 期刊: Sci. Comput. Program.
• 作者: C. Saito;Atsushi Igarashi

Matching ThisType to subtyping

• DOI: 10.1145/1529282.1529699
• 发表时间: 2009-03
• 作者: C. Saito;Atsushi Igarashi