オブジェクト指向プログラムに対するクラス集合型検査の健全性
スポンサーリンク
概要
- 論文の詳細を見る
オブジェクト指向プログラムにおいて、メッセージを受信したオブジェクトがそのメッセージが要求する動作を実行できないことがある。これは"Message Not Understood"と呼ばれるオブジェクト指向言語に特有な実行時エラー(MNUエラー)の形態であり、それを防ぐ手段が求められている。本稿では、オブジェクト指向プログラミング言語としての基本的な機能を持つモデル言語TinyObjentを定義し、その言語で書かれたプログラムに対しその実行がMNUエラーを発生させうるかを検出するアルゴリズムを与え、その健全性を証明する。本アルゴリズムはクラス集合型に基づいており、クラス集合型の型検査によってMNUエラー検出ができる。健全性の証明は、TinyObjectの状態遷移モデルに基づいて行なわれる。
- 社団法人電子情報通信学会の論文
- 1995-07-14
著者
-
大久保 弘崇
愛知県立大学情報科学部
-
稲垣 康善
名古屋大学大学院工学研究科計算理工学専攻
-
稲垣 康善
名古屋大学
-
板部 俊樹
情報工学専攻
-
大久保 弘崇
名古屋大学情報工学科
-
板部 俊樹
名古屋大学情報工学科
-
稲垣 康善
名古屋大学情報工学科
関連論文
- 拡張可能ソフトウェアの動作情報を用いたプラグイン開発支援(開発支援(学生セッション))
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ
- 赤外線通信を用いた頑健なモバイルアドホックネットワーク構築手法
- 赤外線通信を用いたモバイルアドホックネットワークの実現とその応用
- モバイルアドホックネットワーク構築のための分散アルゴリズムの提案とその実現
- 41. NP完全問題 (アルゴリズムの最近の動向)
- D-5-4 表層パターンに基づく法律文の構文解析
- 対話同時通訳コーパスの構築とその特徴分析
- 座談会 「人工知能研究の現状と問題点」
- プログラミング言語の新潮流
- 座談会 人間の知能と機械の知能 : 1986年9月6日 於:北海道大学
- 飛行船制御を題材としたプロジェクト型ソフトウェア開発実習
- Information Flow Graphを用いたATMSの解析
- Information Flow Graphを用いたATMSの解析
- Regular Adherenceとその諸性質について (形式言語理論とオートマトン理論)
- 特集「知的プログラミングの基礎」について
- 明日を担う工学教育を
- TD-1-1 オートマトン研究事始め
- 情報新時代に創造的な工学教育を(情報技術の新時代に向けて)
- 将来ビジョンの策定と提言を
- 研究会活動と学術分野における国際貢献
- 無線機器間の直観的な接続指示手法
- 付箋による一時的情報の管理とその応用
- 項書換え系の拡張された階層的結合における停止性のモジェラー性
- 知識ベースに基づいた図書目録カードの理解
- 知識ベースに基づいた図書目録カードの理解
- 構造記述を用いた書誌項目域の自動分割
- 書誌情報ファイルの処理に対する効率評価
- 書誌情報のファイル格納に関する効率評価
- 形式的手法に基づくJavaScriptプログラムの型検査系の実現
- 英日話し言葉翻訳のための漸新的文生成手法
- B-017 リバースエンジニアリングによるUMLをベースとした拡張シーケンス図の生成(B分野:ソフトウェア)
- 形式的概念分析を用いたグルーピングによるCプログラム理解支援手法(学生セッション H_開発支援)
- UMLをベースとしたJavaプログラムの視覚化における手続的処理部の表現について
- 日本語-ウイグル語対訳辞書拡充のための日本語言い換え処理
- 日本語-ウイグル語対訳辞書拡充のための日本語言い換え処理
- 日本語-ウイグル語辞書の自動作成とその収録語の分析
- 音声対訳コーパスからの日本語待遇表現生成規則の自動獲得
- 日本語-ウイグル語機械翻訳のための格助詞の変換処理
- 派生文法に基づく日本語動詞句のウイグル語への翻訳
- 派生文法による日本語形態素解析
- 派生文法に基づく日本語-ウイグル語機械翻訳 : 動詞接尾辞の変換
- 派生文法に基づく日本語-ウイグル語機械翻訳 : 動詞接尾辞の変換
- 派生文法に基づく日本語動詞接尾辞の形態素解析
- モバイルアドホックネットワークにおけるコミュニケーション支援手法
- オブジェクト指向プログラムに対するクラス集合型検査の健全性
- 4M-6 WebブラウザのCSSレンダリング妥当性検査手法の提案(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- 構造に基づいたXML文書のスキーマ変換器自動生成
- モデル生成法に基づくJavaScriptプログラム型検査の機械実行(ソフトウェア,フォーマルアプローチ論文)
- 構文木に着目してXMLマークアップされたソースプログラム間の差分抽出(開発支援(1)(学生セッション))
- モデル生成に基づくJavaScriptプログラムの型検査系
- ミューテーション法を用いたテストセット構成支援に関する研究(開発支援(2)(学生セッション))
- 文脈に基づいたソースプログラムとドキュメント間の識別子対応付け手法(開発支援(2)(学生セッション))
- ミューテーション法を用いたテストセット構成支援に関する研究
- モデル生成に基づくJavaScriptプログラム型検査のためのフロントエンド
- Cプログラムの理解を支援するナビゲーション機能(開発支援(学生セッション))
- 構文解析器の開発支援環境(開発支援(学生セッション))
- 付箋によるコミュニケーション機能を備えたソフトウェアブラウザ
- オブジェクト指向プログラムに対するMessage Not Understood フォールト検知のための型検査アルゴリズム
- 項書き換え系のための並列計算機アーキテクチャ
- タビュレーション再帰法と項書換え系の等価変換への応用
- 項書き換えによる関数型プログラミング (関数型プログラミングとその応用)
- 連続動作代数に基づく項書換え系の意味論(計算アルゴリズムと計算量の基礎理論)
- 項書き換えシステムの束論的意味論について(アルゴリズムの数学的基礎理論とその応用)
- D-8-19 選好付き知識に対する統合操作の形式化
- 意味マッチングと単一化に基づくパターン駆動並行リダクションモデル
- 多エージェント系自己認識論理の決定手続き : 命題論理式への変換に基づく方法
- 英日話し言葉翻訳のための漸新的文生成手法
- 拡張性を備えたオープンな電話対話システム開発ツールTEDDI
- 拡張性を備えたオープンな電話対話システム開発ツールTEDDI
- 拡張性を備えたオープンな電話対話システム開発ツールTEDDI
- F-8 拡張性を備えた対話システム開発支援ツールの構築(音声・音声言語情報処理,F.音声・音楽)
- 主辞情報付き文脈自由文法に基づく漸進的な依存構造解析(自然言語処理)
- 確率文脈自由文法に基づく漸進的構文解析
- 多エージェント系自己認識論理の論理プログラムへの変換
- 主辞情報付き文脈自由文法に基づく漸進的な依存構造解析アルゴリズム
- 漸増的に端末を認識するアドホックネットワーク構築手法の評価
- 2000-NL-137-12 / 2000-SLP-31-7 マルチドメイン音声対話システムの構築手法
- 2000-NL-137-12 / 2000-SLP-31-7 マルチドメイン音声対話システムの構築手法
- 漸進的構文解析における構文的曖昧性とその解消
- SD-2-1 実走行環境下における車内音声データベース
- ハザードのない最簡論理回路の設計
- 2N-4 確率文脈自由文法を用いた漸進的構文解析における出力タイミング決定手法
- 漸進的な構文解析における出力タイミング決定の一手法
- 文法的不適格文に対する漸進的構文解析手法
- 2ZA-1 漸進的処理に基づく音声対話メールツールSync/Mailの評価(マルチモーダル,一般講演,インタフェース)
- 3N-2 文脈自由文法の変換に基づく漸進的な話し言葉翻訳手法
- SCCS動作式に対する unfold 変換によるLTSモデルの効率的な構成法
- SCCS動作式に対するunfold変換によるLTSモデルの効率的な構成法
- 命令を並列に実行するCPUに対するSCCSによるコンパイラの仕様記述
- 二値画像に対する並列形処理と逐次形処理 (形式言語理論とオートマトン理論)
- サンプルプログラム自動生成のためのリソースを考慮した依存グラフ
- 空欄補充問題の自動生成によるHaskellプログラミング学習支援環境
- Sync/Mail : 話し言葉の漸進的変換に基づく即時応答インタフェース
- Sync/Mail : 話し言葉の漸進的変換に基づく即時応答インタフェース
- Sync/Mail : 話し言葉の漸進的変換に基づく即時応答インタフェース
- 発話に即時応答可能なメールツールの提案
- 不適格表現を活用する漸進的な英日話し言葉翻訳手法
- SimpleObjectに対する型検査 : 型制約言語と推論アルゴリズム
- SimpleObjectにおけるクラス定義単位の型制約導出と型検査