86-38 型理論に関する3つのアプローチ
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1986-11-15
著者
関連論文
- 標準構造に基づく系統的ソフトウェア設計法 (プログラム設計技法)
- 精密ソフトウェア工学のすすめ
- 有限状態機械に基づくプログラミングでのgoto文使用の是非 : Hoare論理の観点から(プログラミングの理論)
- 多重ループからの脱出でのgoto文の是非 : Hoare理論の観点から(プログラミング方法論とパラダイム)
- 不等式を持つデータ型の性質
- 86-38 型理論に関する3つのアプローチ