3M-2 VITC : 情報流解析による高安全Cコンパイラ(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 2008-03-13

著者

• 古瀬 淳

  東京大学大学院情報理工学系研究科

関連論文

• 4.VITC : 情報流解析による高安全Cコンパイラ(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
• 3M-2 VITC : 情報流解析による高安全Cコンパイラ(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)

スポンサーリンク