プログラミングの形式化とソフトウエア・ツールのありかた(<小特集>ソフトウェアツール 1 : 段計・記述)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1979-06-15
著者
関連論文
- ソフトウェア工学の基礎と応用IV
- 再帰形プログラム合成の基礎
- 記号形式系と仕様記述
- ソフトウェア工学の基礎と応用III
- ソフトウェア工学の基礎と応用 ?
- ソフトウェア工学の基礎と応用
- プログラミングの形式化とソフトウエア・ツールのありかた(ソフトウェアツール 1 : 段計・記述)
- Logical Program SynthesisのImplementation (Pilot 1)について
- Logical Basis of Program Synthesis (計算機構の数学的研究)
- プログラムの自動合成と定義可能性について (オートマトン理論および言語理論の新展開)
- プログラムの形式的正当性 (情報科学の数学的理論)