琼·e·Sammet
673 - 674页
675页
通过对数学和自然语言的类似方面进行类比，阐明了编程的一些社会方面。纯数学和应用数学之间的分离在编程中也有类似的情况。发展……
彼得Naur
676 - 683页
本文定义了异常处理的条件，讨论了异常处理语言特性必须满足的要求，并提出了一些新的语言特性，以使异常处理更加有序、可靠。提出了……
John b .前言
683 - 696页
属性语法是上下文无关语法的扩展，由Knuth设计，作为一种机制，将上下文无关语言的语义包含在该语言的语法中。语法的循环问题是……
Mehdi Jazayeri, William F. Ogden, William C. Rounds
697 - 706页
考虑了确定任意上下文无关语法是否是某些容易解析的语法子类(如LR(k)语法)的成员的问题。分析了k…时该问题的时间复杂度。
Harry B. Hunt, Thomas G. Szymanski, Jeffrey D. Ullman
707 - 716页
给出了可谱图。该算法被证明是处理一类非常一般的函数空间。对于一个有e条边的图，该算法具有O(e log e)函数操作的最坏情况时限。还表明在……
Susan L. Graham, Mark Wegman
716页
当证明一个并行程序具有一个给定的性质时，通常可以方便地假设一个语句是不可分割的，即该语句不能与程序的其余部分交叉。这里的充分条件…
理查德•j•利普顿
717 - 721页
SETL是一种面向集合理论的非常高级的语言，它的语义对象包括有限集、有序n元组和可用作映射的有序n元组集。本文介绍了……
j·t·施瓦兹
722 - 728页
740 - 743页
