作者:c.a.r. Hoare
ACM通讯，1971年1月，第14卷，第1号，39-45页
10.1145/362452.362489
评论
证明了“Find”算法的正确性。首先，给出了程序的目的和使用的方法的非正式描述。介绍了一种在编码过程中构造程序证明的系统技术，以防止逻辑错误的干扰。终止证明被视为一个单独的程序。最后，对一般规划方法进行了总结。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择以下选项之一，以访问优质内容和功能。
创建Web帐户
如果您已经是ACM会员，通信数码图书馆的订阅者，请建立一个网页帐户，以访问本网站的优质内容。
参加ACM
成为ACM的会员可以充分利用ACM杰出的计算信息资源、联网机会和其他好处。
订阅ACM通讯杂志
获得《中华文化纵横》50年以上的完整内容，每月获得印刷版。
购买这篇文章
非会员可以购买这篇文章或它所在的杂志。
