メソッドスキーマの型整合性の十分条件

概要

論文の詳細を見る
オブジェクト指向言語では,同一のメソッド名に引数の型に応じて異なる定義を与え,実行時に,型継承に従って実引数(メッセージ)に結合すべきメソッドを決定することにより,プログラムの記述の簡潔性と柔軟性を高めている.実引数に結合すべきメソッド(resolutionと呼ぶ)が一意に定まる場合,そのプログラムは,型整合性をもつという.従って,プログラムが型整合性をもつことを,コンパイル時に保証できることが望ましい.Abiteboulらは,メソッド定義の枠組としてメソッドスキーマとその型整合性を定義し、次の結果を得た.1.与えられたメソッドスキーマが型整合性をもつかどうかは,一般の場合には決定不能である.2.(a)すべてのメソッドが1引数の場合,および(b)すべてのメソッド定義が非再帰的である場合,型整合性をもつかどうかは決定可能である.なお,一般の場合に対しては,(1)では発見的手法が提案されているのみである.本稿では,一般の場合に発見的な手法によらない型整合性の十分条件を考察し,その十分条件を判定するアルゴリズムを提案した.また,すべてのメソッドが1引数の場合,本アルゴリズムは型整合性の必要十分条件の判定を行うことを示した.この意味で,本研究の結果は上記の結果2(a)を含んでいる.
一般社団法人情報処理学会の論文
1993-09-27

メソッドスキーマの型整合性の十分条件

スポンサーリンク

概要

著者

関連論文

スポンサーリンク