作者:b·r·亨特
ACM通讯，1970年7月，第13卷第7期，第452页
10.1145/362686.362704
评论
参考C. A. R. Hoare[1]的论文，该论文讨论了计算机编程的公理方法的基本原理。Hoare提出的公理系统的一个优点是，计算机程序的公理描述将允许演绎推理的应用正式和结论性地证明计算机程序执行设计者想要的计算。这篇简短的交流的目的是讨论Hoare的概念和Wymore[2]的一本书中的方法之间的关系。
这篇文章的全文是优质内容
没有找到条目
登录阅读全文
需要访问吗?
请选择以下其中一个选项以访问优质内容和功能。
创建一个网络帐户
如果您已经是ACM会员，通信订阅用户，或数码图书馆订阅用户，请设立网上帐户，以便阅览本网站的优质内容。
加入ACM
成为ACM会员可以充分利用ACM卓越的计算信息资源、网络机会和其他优势。
订阅ACM杂志通讯
获得完全访问超过50年的CACM内容，并每月收到印刷版杂志。
购买物品
非会员可以购买这篇文章或它出现的杂志的副本。
