高級並列言語の様々な安全性を保証するプログラム進化支援つき汎用型システムの研究

2002 Fiscal Year Annual Research Report

• Project/Area Number: 13780203
• Research Institution: Kyoto University
• Principal Investigator: 五十嵐 淳 京都大学, 情報学研究科, 講師 (40323456)
• Keywords: 型システム / 並行プログラム / 安全性 / Java / 多相性 / 資源使用解析 / generics

Research Abstract

ここ数年のインターネットおよびWorld Wide Web(WWW)の普及,また並列計算機の普及に伴い分散/並列環境上でのプログラミング技術が注目を集めている。本研究では,分散/並列プログラミングにおける様々な安全性(デッドロック/競合状態が起きないこと,計算資源が正しく使われること)を保証するための統一的な枠組みを構築することを目的としている.本年度の研究成果は以下の通り.
1.オブジェクト指向言語の再利用性を安全に高めるための言語機構の考案.
近年,Javaなどで書かれたオブジェクト指向プログラムの汎用性を高めるための言語機構として,汎用クラス(generics)という,クラス定義中の型情報をパラメータ化できる機構が実用化されつつある.これにより,リスト・木などの汎用データ構造の記述において再利用性が高められることが知られている.しかし,従来のオブジェクト指向言語に備わっていた型に基づく再利用の機構である部分型との統合についてはあまり研究されてこなかった.本年度の研究では汎用クラスのための新しい部分型の機構を提案した.具体的には,核言語とその型システム・意味論を形式化し,提案する機構が型安全であることを証明した.これにより,プログラムの汎用性・再利用性がさらに高まり,従来のプログラムを汎用クラスを使って書き換える際に生じがちであった,型の制限による困難も緩和されると考えられる.

Research Products

• [Publications] Atsushi Igarashi: "On Variance-Based Subtyping For Parametric Types"Proceedings of the 16th European Conference on Object-Oriente Programming (Springer LNCS series). 2374. 441-469 (2002)
• [Publications] 山本 和樹: "擬似引用を持つ型付計算体系λq"日本ソフウェア科学会第5回プログラミングおよびプログラミング言語ワークショップ(PPL2003)論文集. 87-102 (2003)