安东尼·拉斯顿
61页
页面访问的高成本意味着需要在分页内存中进行更仔细的数据组织，而不是大多数倒置文件和类似的多键检索方法。本文分析了成本和……
詹姆斯·b·罗斯尼，托马斯·洛萨诺
63 - 69页
带有“实时”字符生成器的光栅扫描计算机图形显示器以前仅限于字母数字字符。描述了一个展示，它扩展了该组织的能力，包括一般…
b·w·乔丹，r·c·巴雷特
70 - 77页
推广了Tukey的lambda分布，提供了一种生成单峰非对称随机变量值的算法。该算法与前面给出的对称随机变量发生器具有相同的优点…
John S. Ramberg, Bruce W. Schmeiser
78 - 82页
为并行执行DO循环的不同迭代开发了方法。同时考虑了异步多处理器计算机和阵列计算机。为这类计算机设计编译器的实际应用……
莱斯利Lamport
83 - 93页
自从BNF的发展以来，编程语言的语法定义几乎普遍地与上下文无关的需求联系在一起。然而，句法中许多有趣和困难的问题源于……
亨利·f·Ledgard
94 - 102页
目前的机械程序验证方法要求每个循环都有一个完整的谓词规范。因为这很繁琐，而且容易出错，所以生成一个具有完整、正确谓词的程序相当困难……
本Wegbreit
102 - 113页
117页
