【程序设计自动化系统】上海科学技术.pdf

【程序设计自动化系统】上海科学技术.pdf

程序設計自动化系統 H.II.脱利峰諾夫 [苏联]编 M.P.舒拉-布拉 徐家福周志明序言 本汇中陈述了在建立程序設計自动化系方面的一些工作 成果.这些工作都是1956～1958这几年内在以M.B.JIoM0H0C0B 为名的国立莫斯科大学的計算中心在“箭牌”机器上完成的.本汇 涉及到程序設計自动化問题中相当广泛的課題,如程序的制,所程序正确性的检查,以及在計算过程中机器工作的正确性的 检查等.所述的程序設計自动化系的基础是性方法,这是以前 在国立莫斯科大学的計算中心就M-2机器所研制的标准子程序 系的进一步的发展.目录 序言 H.II.TpupoHoB, M.P.IIypa-Bypa 第一部分利用子程序库的程序設計系統 1.利用子程序庫的程序計系統 E.A.MoroeB2.检查信息傅送以及改造内系“箭牌-4机器上的程序的特征 H.II.TpupoHOB, M.P.llypa-Bypa 4.服务性区与非标准算子加工区 JI.C.HepeIbeBa.算术区 H.M.EpuoBa, C.B.MocTHHckas, T.JI.PyIHeBa6.节省工作单元区 C.B.