プログラム変換を用いたポインタ操作プログラムの検証にむけて: Morrisの二分木走査アルゴリズムによるケーススタディ

論文・著書情報

タイトル

和文:	プログラム変換を用いたポインタ操作プログラムの検証にむけて: Morrisの二分木走査アルゴリズムによるケーススタディ
英文:	Towards Verifying Pointer-Manipulating Programs using Program Transformation: A Case Study with Morris’ Binary Tree Traversal Algorithm

著者

和文:	渡部卓雄, 森口草介, 山田一宏, 西崎真也.
英文:	Takuo Watanabe, Sosuke Moriguchi, Kazuhiro Yamada, Shin-ya Nishizaki.

言語

Japanese

掲載誌/書名

和文:	信学技報
英文:	IEICE technical report

巻, 号, ページ

Vol. 110 No. 458 pp. 97-102

出版年月

2011年2月28日

出版者

和文:	電子情報通信学会
英文:	IEICE

会議名称

和文:	電子情報通信学会ソフトウェアサイエンス研究会(SIGSS)
英文:

開催地

和文:	沖縄県那覇市
英文:

公式リンク

アブストラクト

ポインタ書き換えを伴うプログラムのプログラム変換にもとづく検証のケーススタディとして，Morrisの二分木走査アルゴリズムの正当性を扱った．本稿ではその際に用いたプログラム変換手法とその具体的な適用手法について報告する．