沃尔特·m·卡尔森
395页
提出了一种允许会话控制任务在非交互环境中执行的机制。一种程序可以生成交互式分时命令并接收相应输出的方法。
查尔斯·a·格兰特
403 - 406页
LAP6是一个运行在2048字LINC上的联机系统，它提供了完整的文本编辑、自动归档和文件维护、程序编写和汇编等功能。它的重点是…的准备和编辑。
玛丽艾伦·威尔克斯
407 - 414页
STAGE2是引导序列的第二级，它很容易在任何计算机上实现。它是一种灵活、功能强大的宏处理器，专门设计为构建与机器无关的软件的工具。在这个…
w·m·韦特
415 - 421页
本文分析了哈希编码中某些计算因素之间的权衡。所考虑的范例问题是逐个测试一系列消息，以确定其在给定消息集合中的成员资格。两个新的散列…
伯顿·h·布鲁姆
422 - 426页
提出了一种通用的文件构造方法，该方法使用哈希函数定义树形结构。研究了两种类型的树木，并解释了它们与过去研究的树木的关系。概率的结果…
考夫曼，伊芙
427 - 432页
的最大公约数的欧几里得算法的新版本
n整数
一个
我
和乘数
x
我
使GCD =
x
1
一个
1+···
x
n一个
n
提出了。算术运算次数和存储次数…
戈登·h·布拉德利
433 - 436页
本文提出了一种上下文敏感派生的规范形式和一种解析算法，该算法对每个上下文敏感分析进行一次且仅一次查找。算法所需要的内存量基本上不再……
威廉·a·伍兹
437 - 445页
凯瑟琳·a·Paciorek
446 - 447页
戈登·h·布拉德利
447 - 448页
托马斯·布雷
448页
爱德华·w·Ng
448 - 449页
阿瑟·h·j·赛尔
449页
我们饶有兴趣地阅读了t.c. Lowe的论文《基于连通性和处理器时序的循环程序结构的自动分割》。
通讯。ACM 13， 1(1970年1月)，3- 6,9]，我们祝贺作者……
柯克·萨特利，罗伯特·米尔斯坦
450页
在[1]中，作者使用引理来证明他们的定理1(第352-353页)。虽然引理是真的，但它的证明有一个缺陷，因为我们不能假设每一个作为第IV类引用出现的符号都是在
t（
E
k
，
年代）.
k.．.
约翰·e·彭慕兰
451页
在“并行存取数据库的同步”中[
通讯。ACM 12a . Shoshani和a . J. Bernstein给出了一个非常清晰的综合多种技术，以确保数据库的完整性。但是…
h·d·﹒贝克尔
451页
参考C. A. R. Hoare[1]的论文，其中讨论了计算机编程的一种公理方法的基本原理。由Hoare提出的公理系统的一个优点是公理描述…
b·r·亨特
452页
