氏名: 寺澤 啓司 (089433467)
論文題目: オブジェクト指向プログラムの形式モデルに関する基礎的研究
論文概要
オブジェクト指向言語は、プログラムの再利用がしやすいように設計されて
いるが、実際には、再利用可能なプログラムを書くことは簡単なことではない。
一方、オブジェクト指向言語の命令型操作意味論や型付規則の研究を行う
ために必要な最小限の機能を持つ計算モデルとして、Object Calculusが提
案されている。
そこで、このObject Calculusの上でオブジェクト指向プログラムの再利用
性についての形式的議論を行うことで、実際的なオブジェクト指向言語の
プログラムの再利用性についての一般論が展開できると期待できる。
本研究では、以上のような目標を達成するための第一歩として、Java言語
のObject Calculusへの変換方法を示すことで、Object Calculusの表現能力
の評価をする。
目次に戻る