由一个。柯姆煤,t . Dahlstrand
ACM通讯，1971年1月，第14卷第1期，第50页
10.1145/362452.362510
评论
在他的245[1]算法认证中，Ralph L. London展示了一个常见的混淆
算法,它的
表示，以及它在处理器a上的实现
代码．以目前的技术水平，我们大体上可以尝试
证明一个算法和
测验一个代码。例如，London指出“……算法TREESORT 3[2]被证明可以正确地执行其声明的数组排序任务
米(1:
n按升序排列。”而这是真实的
算法，它不是真的
代码除非我们对数组元素进行限制。在这个例子中，问题来自于处理器的有限精度;布尔表达式
一个≥
B(真正的
一个，
B)通常会被实现为
一个-
B≥0，可能因浮点溢出或下溢而失效。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择以下选项之一，以访问优质内容和功能。
创建Web帐户
如果您已经是ACM会员，通信数码图书馆的订阅者，请建立一个网页帐户，以访问本网站的优质内容。
参加ACM
成为ACM的会员可以充分利用ACM杰出的计算信息资源、联网机会和其他好处。
订阅ACM通讯杂志
获得《中华文化纵横》50年以上的完整内容，每月获得印刷版。
购买这篇文章
非会员可以购买这篇文章或它所在的杂志。
