C.A.R.霍尔。;何继峰;A.桑帕约。 编译器设计的范式方法。 (英语) Zbl 0790.68023号 Acta信息。 30,第8号,701-739(1993). 审核人:C.A.R.Hoare(牛津) MSC公司:68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}等人,《信息学报》第30期,第8期,第701--739页(1993年;Zbl 0790.68023) 全文: 内政部
E.-R.奥尔德罗。;你好,托尼 用于通信过程的面向规范的语义。 (英语) Zbl 0569.68019号 Acta信息。 23, 9-66 (1986).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.R.Olderog}和\textit{T.Hoare},Acta Inf.23,9-66(1986年;Zbl 0569.68019) 全文: 内政部
阿什克罗夫特,E.A。;M.克林特。;C.A.R.霍尔。 M.Clint和C.A.R.Hoare关于“程序证明:跳转和函数”的评论。 (英语) Zbl 0326.68011号 Acta信息。 6, 317-318 (1976).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Ashcroft}等人,《信息学报》6,317--318(1976;Zbl 0326.68011) 全文: 内政部
C.A.R.霍尔。;劳尔,体育。 编程语言语义的一致性和互补性形式理论。 (英语) Zbl 0264.68006号 Acta信息。 3, 135-153 (1974).MSC公司:65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}和\textit{P.E.Lauer},《学报》第3期,第135-153页(1974年;Zbl 0264.68006)
C.A.R.霍尔。;北卡罗来纳州沃思。 编程语言Pascal的公理化定义。 (英语) Zbl 0261.68040号 Acta信息。 2, 335-355 (1973).MSC公司:68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}和\textit{N.Wirth},Acta Inf.2,335--355(1974;Zbl 0261.68040) 全文: 内政部
C.A.R.霍尔。 数据表示正确性的证明。 (英语) Zbl 0244.68009号 Acta信息。 1, 271-281 (1972).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare},Acta Inf.1,271-281(1972年;兹bl 0244.68009) 全文: 内政部
M.克林特。;C.A.R.霍尔。 程序证明:KJump和函数。 (英语) Zbl 0229.68003号 Acta信息。 1, 214-224 (1971).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Clint}和\textit{C.A.R.Hoare},《信息学报》1,214--224(1971;Zbl 0229.68003) 全文: 内政部