講演名 | 1995/7/14 オブジェクト指向プログラムに対するクラス集合型検査の健全性 大久保 弘崇, 板部 俊樹, 稲垣 康善, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | オブジェクト指向プログラムにおいて、メッセージを受信したオブジェクトがそのメッセージが要求する動作を実行できないことがある。これは"Message Not Understood"と呼ばれるオブジェクト指向言語に特有な実行時エラー(MNUエラー)の形態であり、それを防ぐ手段が求められている。本稿では、オブジェクト指向プログラミング言語としての基本的な機能を持つモデル言語TinyObjentを定義し、その言語で書かれたプログラムに対しその実行がMNUエラーを発生させうるかを検出するアルゴリズムを与え、その健全性を証明する。本アルゴリズムはクラス集合型に基づいており、クラス集合型の型検査によってMNUエラー検出ができる。健全性の証明は、TinyObjectの状態遷移モデルに基づいて行なわれる。 |
抄録(英) | In a object-oriented program, an object may have no way to respond to the received message. This error situation (called Message Not Understand error, MNU-error for short) is one of the run-time errors which are peculiar to object-oriented programs. In this paper, we define an object-oriented language called TinyObject which has basic features required for object-oriented programming. We then propose an algorithm for detecting possibility of MNU-error in execution of TinyObject programs and prove its soundness. The algorithm is based on the notion of class set types and MNU-error detection can be done by class set type checking. Proof of Soundness is based on the operational semantics of TinyObject defined as state transition systems. |
キーワード(和) | オブジェクト指向言語 / 型検査 / 健全性 |
キーワード(英) | object-oriented language / type checking method / soundness |
資料番号 | |
発行日 |
研究会情報 | |
研究会 | SS |
---|---|
開催期間 | 1995/7/14(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Software Science (SS) |
---|---|
本文の言語 | ENG |
タイトル(和) | オブジェクト指向プログラムに対するクラス集合型検査の健全性 |
サブタイトル(和) | |
タイトル(英) | Soundness of Class Set Type Checking Method for Object-Oriented Programs |
サブタイトル(和) | |
キーワード(1)(和/英) | オブジェクト指向言語 / object-oriented language |
キーワード(2)(和/英) | 型検査 / type checking method |
キーワード(3)(和/英) | 健全性 / soundness |
第 1 著者 氏名(和/英) | 大久保 弘崇 / Hirotaka Ohkubo |
第 1 著者 所属(和/英) | 名古屋大学情報工学科 Department of Information Engineering, Nagoya University |
第 2 著者 氏名(和/英) | 板部 俊樹 / Toshiki Sakabe |
第 2 著者 所属(和/英) | 名古屋大学情報工学科 Department of Information Engineering, Nagoya University |
第 3 著者 氏名(和/英) | 稲垣 康善 / Yasuyoshi Inagaki |
第 3 著者 所属(和/英) | 名古屋大学情報工学科 Department of Information Engineering, Nagoya University |
発表年月日 | 1995/7/14 |
資料番号 | |
巻番号(vol) | vol.95 |
号番号(no) | 144 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |