玛丽·肖（Mary Shaw），威廉·A·沃夫（William A. Wulf），拉尔夫·L·伦敦
ACM的通信，1977年8月，第1卷。20号，第553-564页
10.1145/359763.359782
评论
alphard的“表单”为程序员提供了对抽象数据类型的实现的大量控制。在本文中，抽象技术从简单的数据表示和函数定义扩展到迭代语句，这是数据本身的数据与控制结构之间最重要的相互作用点。引入了一种专门针对Alphard循环在不明确依赖这些实体表示的情况下操作的方法。开发了以证明规则的形式表达产生器的属性的规范和验证技术。结果是，对于这些循环的常见特殊情况，与其他语言中的相应构造基本相同。表明发电机将终止的一种方法。
这篇文章全文写的很好
找不到条目
登录以阅读全文
需要访问吗？
请选择以下选项之一，以访问高级内容和功能。
创建一个Web帐户
如果您已经是ACM成员，通讯订户或数字图书馆订户，请设置一个Web帐户，以访问此网站上的高级内容。
加入ACM
成为成员充分利用ACM出色的计算信息资源，网络机会和其他好处。
订阅ACM杂志的通讯
完全访问50多年的CACM内容，并每月接收该杂志的印刷版。
购买文章
非会员可以购买本文或出现的杂志的副本。
