No.119
プログラムの基礎理論
Fundamental Theory of Programming
　
1971/03/22〜1971/03/24
高須　達
TAKASU,SATORU
　
目　次
　
1. On the Program Schemata with Meta-Flow (プログラムの基礎理論)---------------------------------------------------------------------1
　　　　京都大学 / 京都大学 /　　　SHA,A. / OKINAKA,I. / KAMBAYASHI,Y.
　
2. R.L. LondonによるR. Floydのソート・プログラムの正当性の証明について (プログラムの基礎理論)---------------------------------------28
　　　　東京大学工学部　　　筧 捷彦　(KAKEHI,KATSUHIKO)
　
3. Mathematical Theory of ComputationにおけるD. Scottの方法 (プログラムの基礎理論)--------------------------------------------------49
　　　　京都大学数理解析研究所　　　小野 寛晰　(ONO,HIROAKIRA)
　
4. 束準同形としてのプログラムと方程式解の一意性 (プログラムの基礎理論)--------------------------------------------------------------63
　　　　法政大学工学部　　　金山 裕　(KANAYAMA,YUTAKA)
　
5. ALGOL型プログラム言語における意味論と証明論 (プログラムの基礎理論)---------------------------------------------------------------81
　　　　京都大学数理解析研究所　　　五十嵐 滋　(IGARASHI,SHIGERU)
　
6. プログラムの正当性を機械的に証明する一方法 (プログラムの基礎理論)---------------------------------------------------------------112
　　　　東京大学工学部　　　鈴木 則久　(SUZUKI,NORIHISA)