阿什克罗夫特，E.A。;克林特，M。;C.A.R.霍尔。 M.Clint和C.A.R.Hoare关于“程序证明：跳转和函数”的评论。 （英语） Zbl 0326.68011号 Acta信息。 6, 317-318 (1976)。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于三文件 MSC公司： 68号01 软件理论的一般主题 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Ashcroft}等人，《信息学报》6，317--318（1976；Zbl 0326.68011） 全文： 内政部 参考文献： [1] Clint，M.，Hoare，C.A.R.：程序证明：跳跃和函数。信息学报1，214-224（1972）·Zbl 0229.68003号 ·doi:10.1007/BF00288686 [2] Dijkstra，E.W.：程序的保护命令、不确定性和形式派生。通信ACM 18，453-457（1975）·Zbl 0308.68017号 ·数字对象标识代码：10.1145/360933.360975 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。