R.L. LondonによるR. Floydのソート・プログラムの正当性の証明について (プログラムの基礎理論)

スポンサーリンク

概要

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

著者

• 筧 捷彦

  東京大学工学部

関連論文

• Dynamics of System Program : Progressive Induction (アルゴリズムにおける証明論)
• R.L. LondonによるR. Floydのソート・プログラムの正当性の証明について (プログラムの基礎理論)
• ALGOL N について : (VI) Standard decla Fations (つづき)
• ALGOL N について : (VI) Standard declarations (つづき)
• ALGOL Nについて : (VI) Programの動的作用
• 6902 LISPによるNewton Raphson 法

スポンサーリンク