氏名: 安保和幸 (l0461669)
論文題目: オブジェクト指向言語のクラス集合型検査系の実現
論文概要
オブジェクト指向プログラムにおいて，メッセージを受信したオブジェクトが，その
メッセージの要求する動作を実行できないことがある。これは「Message Not
Understood」と呼ばれる，オブジェクト指向言語に特有な実行時エラー（MNU エラー）
の形態であり，それを防ぐ手段が求められている。
MNU エラーの検出を目的とした，クラス集合型に基づくアルゴリズム「クラス集合型
検査法」が提案されている。本研究では，このアルゴリズムを計算機上に実現し，実際
にオブジェクト指向言語 TinyObject のプログラムに対してクラス集合型検査を行っ
た。さらに，クラス集合型検査法の実用化に向けて必要な考察も行った。
目次に戻る