纪尧姆·阿拉伊斯;罗伯特·艾奇;詹姆斯·查普曼;康纳·麦克布莱德;詹姆斯·麦金纳 具有绑定的语法的类型和范围安全的宇宙:它们的语义和证明。 (英语) Zbl 1522.68118号 J.功能。程序。 31,论文编号e22,55 p.(2021).MSC公司:68甲18 68甲15 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Allais}等人,J.Funct。程序。31,论文编号e22,55 p.(2021;Zbl 1522.68118) 全文: DOI程序 arXiv公司
安德烈·菲林斯基 校对程序转换:高效正则表达式匹配的函数说明。 (英语) Zbl 1522.68151号 J.功能。程序。 31,论文编号e12,第38页(2021).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Filinski},J.Funct。程序。31,论文编号e12,38 p.(2021;Zbl 1522.68151) 全文: DOI程序
安德烈亚斯·亚贝尔;纪尧姆·阿拉伊斯;Aliya Hameer;碧姬·品特卡;阿尔贝托·莫米利亚诺;史蒂文·施费尔;凯瑟琳·斯塔克 POPLMark重载:通过逻辑关系实现机械化证明。 (英语) Zbl 1442.68257号 J.功能。程序。 29,论文编号e19,43 p.(2019).MSC公司:68伏15 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}等人,J.Funct。程序。29,论文编号e19,43 p.(2019;Zbl 1442.68257) 全文: DOI程序
陈盛;马丁·埃尔维格 系统识别和交流类型错误。 (英语) Zbl 1476.68050号 J.功能。程序。 28,论文编号e2,48 p.(2018).MSC公司:68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Chen}和\textit{M.Erwig},J.Funct。程序。28,论文编号e2,48 p.(2018;Zbl 1476.68050) 全文: DOI程序
井上,六月;瓦利德·塔哈 关于多阶段程序的推理。 (英语) Zbl 1420.68040号 J.功能。程序。 26,论文编号e22,53 p.(2016).MSC公司:68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Inoue}和\textit{W.Taha},J.Funct。程序。26,论文编号e22,53 p.(2016;Zbl 1420.68040) 全文: DOI程序
马修·弗莱特;雷尼,迈克;约翰·雷皮;亚当·肖 Manticore中的隐式线程并行。 (英语) Zbl 1221.68061号 J.功能。程序。 20,编号5-6,537-576(2010).MSC公司:68甲19 68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fluet}等人,J.Funct。程序。20,编号5--6537--576(2010;Zbl 1221.68061) 全文: DOI程序
格雷厄姆·赫顿;乔尔·赖特 这些持续的中断是什么意思? (英语) Zbl 1129.68410号 J.功能。程序。 17,第6号,777-792(2007).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Hutton}和textit{J.Wright},J.Funct。程序。17,编号6777-792(2007年;Zbl 1129.68410) 全文: DOI程序