有人认为，程序的形式验证，无论如何获得，将不会在计算机科学和软件工程的发展中发挥与证明在数学中的作用相同的关键作用。此外，缺席……
Richard A. De Millo, Richard J. Lipton, Alan J. Perlis
271 - 280页
本文对LeLann的算法进行了改进，该算法用于找出一组排列在一个圆圈内的唯一编号的进程的最大(或最小)，在这个圆圈中不存在中央控制器，且进程的数量为
n.．.
欧内斯特·张，罗斯玛丽·罗伯茨
281 - 283页
错误可能会遇到的普遍性
最终的目标对计算机化过程进行评估。发生了多少个错误以及什么类型的错误?纠正起来有多容易?消费者对错误的反应是什么?
t·d·斯特林
283 - 289页
各种各样的概念、定律和符号，以促进数组的推理。其基本概念包括区间及其划分、函数约束、图像、关系的点向扩展、排序等。
约翰·c·雷诺兹
290 - 299页
多解释器系统是这样一种系统，在该系统中，程序的执行依赖于其他程序的解释，这些程序本身可以被解释(即嵌套解释器)，也可以直接在主机上运行。…
迈克尔·j·Manthey
299 - 309页
文章[1]由马修盖勒提出了一种建立一类程序正确性的方法。盖勒的摘要中写道:“这篇论文介绍了一种技术，通过测试数据可以用来证明……
324 - 325页
