琼·e·Sammet
170页
程序的执行是“复制”吗?如果一个程序是受版权保护的，执行该程序是否侵犯了版权?
算法、程序或运行程序的计算机是否可以申请专利?如果一个程序被许可为一种交易
N.．.
奥利弗·r·斯穆特
171 - 174页
从一开始，BASIC语言就在用法、使用范围和特性方面不断发展。本文比较了目前的10个BASIC版本，两个较早的版本，以及与提议的…
班纳特p Lientz
175 - 181页
本文介绍了一种解析几何的对话编程语言，并介绍了其实现的一些方面。该语言允许灵活定义几何对象和元素，计算它们的参数……
雷蒙德。
182 - 187页
目前大多数计算机程序验证系统是不完整的，因为中间归纳断言必须由用户手工提供，终止不能被证明，不正确的程序不能被处理。为…
Shmuel Katz, Zohar Manna
188 - 206页
213页
