プログラム変換を用いたポインタ操作プログラムの検証にむけて : Morrisの二分木走査アルゴリズムによるケーススタディ
スポンサーリンク
概要
- 論文の詳細を見る
ポインタ書き換えを伴うプログラムのプログラム変換にもとづく検証のケーススタディとして,Morrisの二分木走査アルゴリズムの正当性を扱った.本稿ではその際に用いたプログラム変換手法とその具体的な適用手法について報告する.
- 2011-02-28
著者
-
西崎 真也
京工業大学大学院情報理工学研究科
-
渡部 卓雄
東京工業大学・大学院情報理工学研究科・計算工学専攻
-
渡部 卓雄
東京工業大学
-
森口 草介
東京工業大学大学院情報理工学研究科計算工学専攻
-
山田 一宏
東京工業大学・大学院情報理工学研究科・計算工学専攻
-
森口 草介
東京工業大学・大学院情報理工学研究科・計算工学専攻
-
西崎 真也
東京工業大学
関連論文
- 通信プロトコルにおけるサービス不能攻撃耐性解析のための型付きπ計算(システム検証の科学技術)
- LMC : ポイントカット・アドバイスモデルの計算
- 4K-3 アスペクト指向的振舞インターフェース記述言語Moxaによるスケーラブルな仕様記述(情報爆発時代における分散処理とセキュリティ,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- Moxaによるアスペクト指向的仕様記述 : プロトコルからのモジュラーなDbC記述に向けて
- 契約による設計を支援するアスペクト指向的振舞インタフェース記述言語Moxa
- 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式
- 安全に結合可能なmixinを提供するためのルール
- ロード時バイナリ変換によるセキュリティ強制方式
- 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式
- 特集「ソフトウェアシステム」の編集にあたって
- 特集「ソフトウェアシステム」の編集にあたって(ソフトウェアシステム)
- 自己反映計算の振舞的側面の形式化について
- アスペクト指向言語における操作の抽象化方式
- 不干渉性の強制について
- 不干渉性の強制について
- 不干渉性の強制について
- 不干渉性の強制について
- Brian Cantwell Smith:Reflection and Semantics in Lisp, Proc. 11th ACM Symposium on Principles of Programming Languages, pp.23-35 (1984).
- 対話領域の独立性を指向した日本語対話理解システム
- 多相環境計算における強正規化可能性
- 多相環境計算における強正規化可能性
- 多相環境計算における強正規化可能性
- 名前呼び環境PCFの意味論
- プログラム変換を用いたポインタ操作プログラムの検証にむけて--Morrisの二分木走査アルゴリズムによるケーススタディ (ソフトウェアサイエンス)
- Javaにおけるインテグリティモデル
- 東日本大震災 危機発生時の対応について考える:14.放射線量測定・放射性物質拡散シミュレーション(独,仏,日本)
- 証明支援系を用いたMorrisの二分木走査アルゴリズムの検証
- グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理)
- 証明支援系Coqのプログラムに対する対話的修正機構の提案
- スクリプト言語(4)スクリプト比較言語学--スクリプト言語の今後
- 定理アーカイブにおけるDoS攻撃耐性
- ファーストクラス継続を持つオブジェクト計算
- ファーストクラス環境による単一化機構の関数型言語への組み込み
- Javaのクラスローダ制約の定式化
- 自然言語インターフェースを用いた検索結果の視覚化
- 「情報処理学会論文誌 : プログラミング」の編集について
- プログラム変換を用いたポインタ操作プログラムの検証にむけて : Morrisの二分木走査アルゴリズムによるケーススタディ
- 実行時検査を伴う実時間プログラムの生成について : 時間オートマトンから非実時間実行環境上の実時間プログラムへ
- 実行時検査を伴う実時間プログラムの生成について : 時間オートマトンから非実時間実行環境上の実時間プログラムへ
- 定理証明支援系Coqへの対話的修正機構の導入 (プログラミング Vol.5 No.4)
- 「情報処理学会論文誌 : プログラミング」の編集について
- Objective-Cによる文脈指向プログラミングの実現手法(学生及び若手(パラレルセッション:実装))
- Objective-Cによる文脈指向プログラミングの実現手法(学生及び若手(パラレルセッション:実装))
- 実時間システム向け文脈指向言語ProcneJ