お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2011-03-08 09:25
プログラム変換を用いたポインタ操作プログラムの検証にむけて ~ Morrisの二分木走査アルゴリズムによるケーススタディ ~
渡部卓雄森口草介山田一宏西崎真也東工大SS2010-69
抄録 (和) ポインタ書き換えを伴うプログラムのプログラム変換にもとづく検証のケーススタディとして,
Morrisの二分木走査アルゴリズムの正当性を扱った.
本稿ではその際に用いたプログラム変換手法とその具体的な適用手法について報告する. 
(英) We proved the correctness of a C implementation of Morris's tree traversal algorithm.
The algorithm is known as a recursion-free, stack-free and tag-free binary tree traversal.
This work is intended to be a case study of verifying C programs with pointer manipulation
by using program transformation.
In this report, we describe the outline of the verification methodology and results.
キーワード (和) プログラム検証 / プログラム変換 / ポインタ操作 / Morrisの二分木走査アルゴリズム / / / /  
(英) program verification / program transformation / pointer manipulation / Morris' tree traversal algorithm / / / /  
文献情報 信学技報, vol. 110, no. 458, SS2010-69, pp. 97-102, 2011年3月.
資料番号 SS2010-69 
発行日 2011-02-28 (SS) 
ISSN Print edition: ISSN 0913-5685    Online edition: ISSN 2432-6380
著作権に
ついて
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
PDFダウンロード SS2010-69

研究会情報
研究会 SS  
開催期間 2011-03-07 - 2011-03-08 
開催地(和) 沖縄県青年会館 
開催地(英) Okinawa-ken Seinen Kaikan 
テーマ(和) 一般 
テーマ(英) General 
講演論文情報の詳細
申込み研究会 SS 
会議コード 2011-03-SS 
本文の言語 日本語 
タイトル(和) プログラム変換を用いたポインタ操作プログラムの検証にむけて 
サブタイトル(和) Morrisの二分木走査アルゴリズムによるケーススタディ 
タイトル(英) Towards Verifying Pointer-Manipulating Program using Program Transformation 
サブタイトル(英) A Case Study with Morris' Binary Tree Traversal Algorithm 
キーワード(1)(和/英) プログラム検証 / program verification  
キーワード(2)(和/英) プログラム変換 / program transformation  
キーワード(3)(和/英) ポインタ操作 / pointer manipulation  
キーワード(4)(和/英) Morrisの二分木走査アルゴリズム / Morris' tree traversal algorithm  
キーワード(5)(和/英) /  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 渡部 卓雄 / Takuo Watanabe / ワタナベ タクオ
第1著者 所属(和/英) 東京工業大学 (略称: 東工大)
Tokyo Institute of Technology (略称: Tokyo Tech)
第2著者 氏名(和/英/ヨミ) 森口 草介 / Sosuke Moriguchi / モリグチ ソウスケ
第2著者 所属(和/英) 東京工業大学 (略称: 東工大)
Tokyo Institute of Technology (略称: Tokyo Tech)
第3著者 氏名(和/英/ヨミ) 山田 一宏 / Kazuhiro Yamada / ヤマダ カズヒロ
第3著者 所属(和/英) 東京工業大学 (略称: 東工大)
Tokyo Institute of Technology (略称: Tokyo Tech)
第4著者 氏名(和/英/ヨミ) 西崎 真也 / Shin-ya Nishizaki / ニシザキ シンヤ
第4著者 所属(和/英) 東京工業大学 (略称: 東工大)
Tokyo Institute of Technology (略称: Tokyo Tech)
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2011-03-08 09:25:00 
発表時間 25分 
申込先研究会 SS 
資料番号 SS2010-69 
巻番号(vol) vol.110 
号番号(no) no.458 
ページ範囲 pp.97-102 
ページ数
発行日 2011-02-28 (SS) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会