李Revens
485 - 490页
埃里克·a·韦斯
491 - 497页
安东尼·拉斯顿
499 - 500页
安德烈·p·Ershov
501 - 505页
g·g·普罗布斯特，罗伯特·s·欧尔曼，山姆·威利，c·莱斯特·霍根，f·t·卡里，戈登·贝尔，唐纳德·p·基尔彻
506 - 517页
自动机理论的一个思想来源——对大脑的研究——在理论的数学发展中被推到了一边。本文提出了自动机理论在未来25年可能发展的方式，如果它是…
迈克尔·a·阿尔贝勃
521 - 527页
根据Scott的不动点理论，用递归程序的最小不动点来定义计算机程序的语义。这不仅可以证明所有现有的验证技术，而且……
Zohar Manna, Jean Vuillemin
528 - 536页
数值数学被看作是对连续算法的分析。讨论了数值数学的四个组成部分。这些是:基础(有限精度数字系统，计算复杂度)，综合……
j·f·特劳布
537 - 541页
本文简要介绍了整数和连续非线性规划的历史，以及目前阻碍这些数学规划技术实际应用的障碍。预测了非线性分析的有益贡献。
大卫·f·香诺，罗曼·l·韦尔
542 - 549页
给出了代数运算领域的一些自然发展的列表。然后讨论了常微分方程函数一般理论的发展前景。有人声称……
乔尔·摩西
550 - 554页
对计算机体系结构领域未来25年的发展进行了预测。标准的，便宜的单芯片微型计算机被预测。这些将被广泛用于提供逻辑…
卡克斯顿c·福斯特
557 - 565页
结合计算机、数字终端和通信设备的未来系统提出了设计优化问题，需要重新考虑各自子系统的传统功能职责……
a·g·弗雷泽
566 - 573页
本文提出了一种用高级语言对多程序设计进行结构化表示的方法。使用的表示法显式地将并发进程共享的数据结构与在其上定义的操作关联起来。.．.
每Brinch汉森
574 - 578页
给出了操作系统性能的当前和未来的概况。虽然已经开发了大量的信息和大量的子系统模型，但在我们的……
w·c·林奇
579 - 585页
模型是研究计算机系统性能的有用手段。本文考察了评估计算机系统性能的模型和其他方法之间的相互关系，并建立了环境。
Stephen r . Kimbleton
586 - 590页
尽管PL/I取得了令人印象深刻的进步，Fortran和Cobol仍然是世界上大多数生产程序的编写语言，并且在可预见的未来仍将如此。这在理论上有很大的意义。
扫罗罗森
591 - 600页
本文讨论了编程语言(高级语言)的历史和未来。作者指出了写这样一段历史的一些困难。论文的一个关键部分是一个树状图，显示了时间顺序…
琼·e·Sammet
601 - 610页
本文就如何创建更好的数学软件的步骤做了一些观察。这些步骤表明需要进行协调努力，并设立一个中心来集中注意这方面的活动。
劳埃德·d·Fosdick
611 - 617页
列表处理系统应该设计成便于生产操作大型复杂符号数据存储的大型程序。本文概述了一些系统特性，作者认为……
但以理。g . Bobrow
618 - 627页
在商用计算机上进行数据处理的15年历史中，数据库管理系统的能力和复杂性迅速增长。原来的概念被分裂了，新的术语被采用了。
查尔斯·w·巴赫曼
628 - 634页
对计算机在物理科学上的应用前景作了悲观的预测。
约翰·r·赖斯
637 - 639页
系统开发是从世代的角度进行分类的，这与通常描述的计算系统世代相似。对每一代人来说，开发项目的范围和技术世界观……
罗伯特。本杰明
640 - 643页
在面向语言的人文学科中，使用计算机详尽地列出细节(如索引和索引)是普遍的，并被认为是可取的。计算机对人文学科的“科学”的影响…
莎莉Yeates Sedelow
644 - 647页
对计算机在教学过程中的应用进行了调查，提出了计算机专业人员如何为有效的教育系统作出贡献。
卡尔·l·辛
648 - 651页
这篇关于城市社会中计算机使用的简短调查涵盖了在任何城市中发现的广泛活动。未来的应用范围只会受到未来系统设计者的想象力和创造力的限制。
杰拉尔德·m·Sturman
652 - 657页
简要概述了计算机目前在自动文件处理方面的作用，并给出了图书馆自动化和文件处理机械化的早期承诺未能实现的一些原因。
杰拉德•索尔顿海
658 - 668页
讨论了数学的早期起源，强调了从计算机科学的立场来看最感兴趣的那些方面。许多古巴比伦石碑，其中许多从未被发现过……
唐纳德·e·Knuth
671 - 677页
Plankalkül是康拉德·祖斯在20世纪40年代为编写今天称为程序的东西而设计的一种符号和概念系统。虽然这种早期的编程语言方法没有导致实际的…
F. L.鲍尔，H. Wössner
678 - 685页
许多美国数字计算机领域的历史往往是客观的，非常强调东部的大学和商业发展。这篇文章以个人的方式记录了早年的事件。…
理查德·e·斯普拉格
686 - 692页
ACM成立之前的时期是由第一台大型计算机ENIAC主导的。这里所描述的它的特点预示着后来的发展。
弗朗茨·l·Alt
693 - 694页
计算机和自动化与就业的关系是技术变革与就业更普遍关系的一部分。最明显的影响是技术带来的生产力的提高可以消除……
A.鲍罗丁，C. C.哥特利布
695 - 702页
