著者
冨田 一郎 石井 直宏
出版者
一般社団法人電子情報通信学会
雑誌
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻号頁・発行日
vol.95, no.475, pp.17-24, 1996-01-24

強く型付けされたオブジェクト指向プログラミング言語では,バイナリ・メソッドが存在すると,様々な問題を起きる.特に,バイナリ・メソッドが継承される場合や,それをオーバーロードする場合には,サブクラスとサブタイプとが一致しないという,直観に矛盾する状況が生じる.そこで我々は,このバイナリ・メソッドの型に関する問題を回避するための方法として,「メソッドの追加」という機構を提案する.本稿では,この機構の形式的な定義を試みる.

言及状況

Twitter (1 users, 1 posts, 0 favorites)

バイナリ・メソッドのための型付きオブジェクト計算 http://t.co/k2M98chOTJ

収集済み URL リスト