- 著者
-
冨田 一郎
石井 直宏
- 出版者
- 一般社団法人電子情報通信学会
- 雑誌
- 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
- 巻号頁・発行日
- vol.95, no.475, pp.17-24, 1996-01-24
強く型付けされたオブジェクト指向プログラミング言語では,バイナリ・メソッドが存在すると,様々な問題を起きる.特に,バイナリ・メソッドが継承される場合や,それをオーバーロードする場合には,サブクラスとサブタイプとが一致しないという,直観に矛盾する状況が生じる.そこで我々は,このバイナリ・メソッドの型に関する問題を回避するための方法として,「メソッドの追加」という機構を提案する.本稿では,この機構の形式的な定義を試みる.