埃里克·C·R·海纳。 预测性编程。二、。 (英文) Zbl 0593.68011号 Commun公司。ACM公司 27, 144-151 (1984). 引用于1审查引用于6文件 MSC公司: 68号01 软件理论的一般主题 关键词:程序的语义;谓语;分配;作文;确定性选择;非确定性选择;变量声明 引文:Zbl 0593.68010号 PDF格式BibTeX公司 XML格式引用 \textit{E.C.R.Hehner},Commun(科姆)。ACM 27,144--151(1984;Zbl 0593.68011) 全文: 内政部