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） 全文： 内政部