C.A.R.霍尔。 程序是谓词。 (英语) Zbl 0558.68004号 菲洛斯。变速器。英国皇家学会。,A类 312, 475-489 (1984). 作者对编程现象提出了另一个深入的见解。计算机程序被识别为具有最强谓词P,描述了可以对“过程”(执行该程序的计算机)的行为进行的每一个相关观察。一种简单而有吸引力的编程语言可以用来编写这样的程序,它说明了这些想法。规范应该非常准确地表达(也作为谓词S),可以使用全套逻辑和数学符号。然后,程序员的任务是找到(例如使用自顶向下的技术)上述编程语言的限制符号中的谓词P,以便能够证明\(P\Rightarrow S\)。审核人:C.马萨利乌 引用于2文件 MSC公司: 68号01 软件理论的一般主题 关键词:编程;谓语;过程;规范 PDF格式BibTeX公司 XML格式引用 \文本{C.A.R.Hoare},Philos。变速器。英国皇家学会。,序列号。A 312475-489(1984年;Zbl 0558.68004) 全文: 内政部