プログラムの形式的正当性 (情報科学の数学的理論)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 謝 章文

  京都産業大学理学部

• 謝 章文

  京都大学工学部

関連論文

• ソフトウェア工学の基礎と応用IV
• 再帰形プログラム合成の基礎
• 記号形式系と仕様記述
• ソフトウェア工学の基礎と応用III
• ソフトウェア工学の基礎と応用 ?
• ソフトウェア工学の基礎と応用
• プログラミングの形式化とソフトウエア・ツールのありかた(ソフトウェアツール 1 : 段計・記述)
• Logical Program SynthesisのImplementation (Pilot 1)について
• Logical Basis of Program Synthesis (計算機構の数学的研究)
• プログラムの自動合成と定義可能性について (オートマトン理論および言語理論の新展開)
• プログラムの形式的正当性 (情報科学の数学的理論)

もっと見る 閉じる

スポンサーリンク