2008 Fiscal Year Annual Research Report
効率的な高信頼性ソフトウェア開発のためのプログラミング言語の研究
| Project/Area Number |
20700022
|
|---|
| Research Institution | Gunma University |
|---|
Principal Investigator |
紙名 哲生 Gunma University, 大学院・人文社会系研究科, 助教 (90431882)
|
|---|
| Keywords | モジュール化 / 型システム |
|---|
| Research Abstract |
ソフトウェアの開発効率をいかに上げ、同時にいかに信頼性を高めるかは学術的に大きなチャレンジであるだけでなく、社会的要請から見ても非常に重要な問題である。本研究は、この問題に対してプログラミング言語の立場からアプローチし、平成20年度においては再利用性・拡張性・スケーラビリティのための型付計算体系の構築を行った。具体的には、既存の主要なプログラミング言語であるJavaの核となる計算体系Featherweight Javaの上に、本研究で提案したLightweight Dependent Classesと呼ばれる、再利用性・拡張性・スケーラビリティのための言語機構を導入し、核言語レベルでの型健全性を証明した。これは、相互参照しているクラス群を、Javaのような言語における継承の機構では安全に拡張することができない問題を解決したものであるが、クラス群の個々のクラスを抽象化することによって再利用性が向上することや、簡潔で分かりやすい計算体系になっていることなどの特徴がある。本研究は、Javaの上にこの言語機構を実装する上で重要な理論的基礎を与えるものであり、次年度で計画されている言語実装のための堅牢な基盤となるものである。
|
Research Products
(3 results)
