プログラムの正当性を機械的に証明する一方法 (プログラムの基礎理論)
スポンサーリンク
概要
著者
関連論文
- 「多態実行環境」: 高級言語の制御機械の高性能実現法
- 三四郎プロジェクトにおけるシステム・ソフトウェア (高機能ワークステーション)
- 高機能ワークステーションについて (高機能ワークステーション)
- 通信網の変革と情報処理 パーソナルコンピュータ・ネットワーク (通信網の変革と情報処理)
- 39. VLSI CADへの計算幾何学の応用 (アルゴリズムの最近の動向)
- プログラムの正当性を機械的に証明する一方法 (プログラムの基礎理論)