卡明·阿巴特;罗伯托·布兰科;特凡市CiobácȘ;阿德里安·杜里埃;迪帕克·加格;Hrițcu,科特林;马可·帕特里格纳尼;埃里克·坦特;杰雷米·蒂鲍特 跟踪编译器的正确性和安全编译。 (英语) Zbl 1508.68046号 Müller,Peter(编辑),《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会(ESOP 2020),是欧洲软件理论与实践联合会议(ETAPS 2020)的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12075,1-28(2020)。MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Abate}等人,Lect。注释计算。科学。12075,1--28(2020;Zbl 1508.68046) 全文: 内政部 arXiv公司
戴维·诺曼(David A.Naumann)。 朝向堆和命令式lambdas的模式。 (英语) Zbl 1355.68040号 J.日志。代数。方法计划。 第二部分第5期85号,1038-1056(2016).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Naumann},J.Log(J.洛格)。代数。方法计划。85,第5号,第2部分,1038--1056(2016;Zbl 1355.68040) 全文: 内政部 arXiv公司
布里杰什·多戈尔;维克多·戈麦斯。;乔治·斯特鲁斯 一种用于分离逻辑的程序构造和验证工具。 (英语) Zbl 1432.68071号 Hinze,Ralf(编辑)等人,《程序构造的数学》。2015年6月29日至7月1日,第12届国际会议,MPC 2015,德国科尼格斯温特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9129, 137-158 (2015).MSC公司:68号30 03B70号 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人,Lect。注释计算。科学。9129,137--158(2015;Zbl 1432.68071) 全文: 内政部 arXiv公司 链接
C.E.马丁。;南卡罗来纳州柯蒂斯。 多重关系代数。 (英语) 兹比尔1352.18001 数学。结构。计算。科学。 23,第3期,635-674(2013). 审核人:Mark S.Burgin(洛杉矶) MSC公司:18B10型 03B70号 18二氧化碳 18日99 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Martin}和\textit{S.A.Curtis},数学。结构。计算。科学。23,第3号,635--674(2013;Zbl 1352.18001) 全文: 内政部
迈克尔·约翰逊;戴维·诺曼;权力,约翰 数据精化的范畴理论模型。 (英语) Zbl 1336.68035号 Seda,Anthony(编辑)等人,《爱尔兰计算机科学和信息技术数学基础会议论文集》(MFCSIT 2006),爱尔兰科克国立爱尔兰大学,2006年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记225,21-38(2009)。MSC公司:68号30 03G30型 18立方厘米50 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Johnson}等人,《电子》。注释Theor。计算。科学。225,21-38(2008年;兹bl 1336.68035) 全文: 内政部
保罗·加德纳 功率模拟及其与跟踪和故障细化的关系。 (英语) Zbl 1070.68103号 西奥。计算。科学。 309,编号1-3,157-176(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \文本{P.加德纳},Theor。计算。科学。309,编号1--3,157--176(2003;Zbl 1070.68103) 全文: 内政部
戴维·诺曼(David A.Naumann)。 高阶命令式语言数据优化的合理性。 (英语) 兹比尔1002.68090 西奥。计算。科学。 278,第1-2号,271-301(2002).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \文本{D.A.Naumann},Theor。计算。科学。278,编号1--2,271--301(2002;Zbl 1002.68090) 全文: 内政部
戴维·诺曼(David A.Naumann)。 计算尖锐的适应规则。 (英语) Zbl 1052.68085号 Inf.流程。莱特。 77,第2-4号,201-208(2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Naumann},Inf.过程。莱特。77,No.2--4,201--208(2001;Zbl 1052.68085) 全文: 内政部
戴维·诺曼(David A.Naumann)。 谓词变换器和高阶程序。 (英语) Zbl 0874.68024号 西奥。计算。科学。 150,第1期,111-159(1995).MSC公司:68号01 68N99型 PDF格式BibTeX公司 XML格式引用 \文本{D.A.Naumann},Theor。计算。科学。150,编号1,111--159(1995;Zbl 0874.68024) 全文: 内政部
戴维·诺曼(David A.Naumann)。 数据优化、按值调用和高阶程序。 (英语) Zbl 0841.68034号 正式Asp。计算。 7,第6期,652-662(1995).MSC公司:68第05页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Naumann},正式Asp。计算。7,第6号,652--662(1995;Zbl 0841.68034) 全文: 内政部