Collection home page

Fundamental Theory of Programming   7
(http://hdl.handle.net/2433/100594)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 7 of 7
BibliographyContents
表紙・目次
   (1971-07)
  数理解析研究所講究録, 119
file type icon
On the Program Schemata with Meta-Flow (プログラムの基礎理論)
  SHA, A., OKINAKA, I., KAMBAYASHI, Y. (1971-07)
  数理解析研究所講究録, 119: 1-27
file type icon
R.L. LondonによるR. Floydのソート・プログラムの正当性の証明について (プログラムの基礎理論)
  筧, 捷彦 (1971-07)
  数理解析研究所講究録, 119: 28-48
file type icon
Mathematical Theory of ComputationにおけるD. Scottの方法 (プログラムの基礎理論)
  小野, 寛晰 (1971-07)
  数理解析研究所講究録, 119: 49-62
file type icon
束準同形としてのプログラムと方程式解の一意性 (プログラムの基礎理論)
  金山, 裕 (1971-07)
  数理解析研究所講究録, 119: 63-80
file type icon
ALGOL型プログラム言語における意味論と証明論 (プログラムの基礎理論)
  五十嵐, 滋 (1971-07)
  数理解析研究所講究録, 119: 81-111
file type icon
プログラムの正当性を機械的に証明する一方法 (プログラムの基礎理論)
  鈴木, 則久 (1971-07)
  数理解析研究所講究録, 119: 112-132
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 7 of 7