赫伯特·r·j·格罗施
349 - 350页
提出了一种不破坏原链表结构而将任意链表结构复制到相邻存储位置块中的算法。除了固定数量的程序变量，没有辅助存储…
道格拉斯·w·克拉克
351 - 357页
对许多应用程序来说，有控制的信息共享是必需的，也是可取的，并且在操作系统中通过访问控制机制得到支持。本文展示了如何扩展编程语言来提供可控的共享…
安妮塔·k·琼斯，芭芭拉·h·里斯科夫
358 - 367页
程序正确性的证明往往是漫长而乏味的，而测试虽然在检测错误方面很有用，但通常不能保证正确性。本文介绍了一种利用测试数据来证明…
马修·盖勒
368 - 375页
在构建和维护程序时，使用几个抽象级别已被证明是非常有帮助的。当程序使用抽象数据类型(如集和列表)设计时，程序员可以通过自动化…
詹姆斯·r·低
376 - 385页
讨论了编程语言如何帮助跟踪物理单位(英尺、秒等)的问题。给出了一种介绍单位之间关系的方法(瓦特等于伏特*安培，码等于三……)
迈克尔·卡尔，大卫·b·洛夫曼
385 - 391页
本文描述了一种集成的过程机制，它允许过程作为递归函数或协程使用。这种集成是通过处理过程及其激活记录(称为环境)来完成的……
大卫·r·汉森，拉尔夫·e·格里斯伍德
392 - 400页
描述了一种从一系列训练实例中抽象归纳知识的方法。所提出的方法，干扰匹配，通过寻找两个或多个例子的共同关系属性来诱导抽象…
弗雷德里克·海耶斯·罗斯，约翰·麦克德莫特
401 - 411页
本报告的目的是提出一类新的纯整数规划和混合整数规划问题的充分最优性条件。所提出的一些充分条件集可以被认为是一般化的。
j·m·弗莱舍，r·r·迈耶
411 - 418页
从具有非积分形状参数的伽马分布生成随机变量的新方法&agr提出了。这种方法与华莱士和菲什曼最近提出的另外两种方法相似。它与菲什曼的……
潘度r . Tadikamalla
419 - 422页
在本文中，块传输CCD存储器由串行移位寄存器组成，其移位率可以变化，但有一个确定的最小移位率(刷新率)和一个确定的最大移位率。…
理查德·l .网站
423 - 425页
罗伯特·l·Ashenhurst
433 - 434页
