杰伊·m·斯皮岑、卡尔·n·莱维特、劳伦斯·罗宾逊著
ACM来文，1978年12月，第21卷第12期，第1064-1075页
10.1145/359657.359667
评论
分层编程在构建大型程序方面越来越被认为是有帮助的。分级技术的用户声称或预测生产效率和产生的程序的可靠性的大幅提高。在本文中，我们描述了一种形式化的方法，用于层次程序规范、实现和证明。我们将此方法应用于一个重要的列表处理问题，并讨论了一些对当前编程语言的扩展，以简化分层程序设计和证明。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择以下选项之一，以访问优质内容和功能。
创建Web帐户
如果您已经是ACM会员，通信数码图书馆的订阅者，请建立一个网页帐户，以访问本网站的优质内容。
参加ACM
成为ACM的会员可以充分利用ACM杰出的计算信息资源、联网机会和其他好处。
订阅ACM通讯杂志
获得《中华文化纵横》50年以上的完整内容，每月获得印刷版。
购买这篇文章
非会员可以购买这篇文章或它所在的杂志。
