氏名: 里村早織 (l0461634)
論文題目: 抽象機械を用いたTinyObject処理系の実現
論文概要
本論文では、オブジェクト指向言語であるTinyObject言語の処理系の実現について述べる。
オブジェクト指向プログラミングにおいて、実行時に検出されるMNUエラー(Message Not Understood Error)を防ぐためには、プログラムを事前に検査する手段が必要である。
TinyObject言語は、オブジェクト指向言語の特徴を保持した言語で、クラス集合型検査法を用いてMNUエラーを検査でき、その健全性の証明がされている。
しかし、処理系がなく、実行中のオブジェクトの動作がわからないため、今後のオブジェクト指向言語の研究にマイナスになるであろうと危惧し、処理系の実現を行なうとともに、それが正しく動作しているかどうかを考察する。
目次に戻る