ジコゴウセイホウ オ リヨウシタ サイキ プログラム ノ ジョウホウリュウ カイセキホウ ノ テイアン
伊藤信裕
生駒 : 奈良先端科学技術大学院大学, 2008.3
1
R005990
2
禁帯出
2008
An Information Flow Analysis for Recursive Programs Based on Self-Composition
奈良先端科学技術大学院大学情報科学研究科修士論文 ; 2008年3月
学位記番号: 修第3842号
学位授与年月日: 2008/03/24
学位の種類: 修士(工学)
学生番号: 0651013
日本語 (jpn)
伊藤, 信裕 (イトウ, ノブヒロ)
情報流解析
自己合成法
TA法
再帰プログラム
モデル検査
健全性
情報流解析自己合成法TA法再帰プログラムモデル検査健全性
