氏名: 江場雅彦 (l0571614)

論文題目: オブジェクト指向言語の代数的仕様記述に関する研究

論文概要

オブジェクト指向プログラムの正当性検証の枠組として、オブジェクト指向言 語の意味論を代数的に記述し、その上で、プログラムの検証を代数的手法を用 いて行なうことが提案されている[1]。しかし、その提案で用いられているオ ブジェクト言語は、オブジェクト指向言語としては極めて素朴で、このままで はオブジェクト指向言語一般に適用できるとはいい難い。そこで本研究では、 オブジェクト指向言語として基本的な機能をもつ言語TinyObjectの意味論を代 数的に仕様記述することを目的とし、その際の問題点の洗い出しとその問題の 解決法を検討する。

[1] R.Hennicker and C. Schmits:
"Object-Oriented Implementation of Abstract Data Type Specifications",
Proc. AMAST '96, LNCS 1101, pp.164--179, 1996

目次に戻る