手続き型プログラムから書換え系への変換に基づくソフトウェアの検証の試み

• 資料種別: 記事
• タイトル: 手続き型プログラムから書換え系への変換に基づくソフトウェアの検証の試み
• 著者・編者: 古市 祐樹; 西田 直樹; 酒井 正彦 他
• 著者標目: 古市 祐樹; 西田 直樹; 酒井 正彦
• タイトル（掲載誌）: 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
• 巻号年月日等（掲載誌）: 106(326) 2006.10.26
• 掲載巻: 106
• 掲載号: 326
• 掲載ページ: 7～12
• 掲載年月日（W3CDTF）: 2006-10-26
• ISSN（掲載誌）: 0913-5685
• ISSN-L（掲載誌）: 0913-5685
• 出版事項（掲載誌）: 東京 : 電子情報通信学会
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: 項書換え系; 帰納的定理; 潜在帰納法; プレスブルガー文; 完備化; プログラム変換; term rewriting system; inductive theorem; inductionless induction; Presburuger arithmetic; completion; program transformation
• NDLC: ZN33
• 対象利用者: 一般
• レポート番号（雑誌記事）: KBSE2006-17
• 所蔵機関: 国立国会図書館
• 請求記号: Z16-940
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館雑誌記事索引; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 8539226; http://id.ndl.go.jp/bib/8539226
• 整理区分コード: 632