サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 記事・論文

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

渡部 卓雄,森口 草介,山田 一宏 他

詳細情報

タイトル プログラム変換を用いたポインタ操作プログラムの検証にむけて--Morrisの二分木走査アルゴリズムによるケーススタディ
著者 渡部 卓雄
著者 森口 草介
著者 山田 一宏 他
シリーズ名 ソフトウェアサイエンス
出版年 2011-03
別タイトル Towards verifying pointer-manipulating programs using program transformation: a case study with Morris' binary tree traversal algorithm
件名(キーワード) プログラム検証
件名(キーワード) プログラム変換
件名(キーワード) ポインタ操作
件名(キーワード) Morrisの二分木走査アルゴリズム
件名(キーワード) program verification
件名(キーワード) program transformation
件名(キーワード) pointer manipulation
件名(キーワード) Morris' tree traversal algorithm
対象利用者 一般
資料の種別 記事・論文
掲載誌情報(ISSN形式) 09135685
掲載誌情報(ISSNL形式) 09135685
掲載誌情報(URI形式) http://iss.ndl.go.jp/books/R100000002-I000000050569-00
掲載誌名 電子情報通信学会技術研究報告 : 信学技報
掲載巻 110
掲載号 458
掲載ページ 97~102
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで