C.A.R.霍尔。 数据表示正确性的证明。 (英语) Zbl 0395.68019号 编程方法,收集。艺术。成员。IFIP WG2.3,269-281(1978)。 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3个 +4 +5 显示扫描页面 引用于三文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 68第05页 数据结构 关键词:数据表示;程序正确性;具有副作用的函数 引文:Zbl 0392.00013号 PDF格式BibTeX公司 XML格式