×

找到17个文档(结果1-17)

关于高阶分离逻辑模型。 (英语) Zbl 1525.03093号

Silva,Alexandra(编辑),第33届编程语义数学基础会议论文集(MFPS XXXII),斯洛文尼亚卢布尔雅那,2017年6月12-15日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。336, 57-78 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ReLoC:一种用于细粒度并发的机制化关系逻辑。 (英语) Zbl 1497.68337号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。442-451 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

高阶并发分离逻辑中的交互式证明。 (英语) Zbl 1380.68341号

Castagna,Giuseppe(ed.)等人,第44届ACM SIGPLAN编程语言原理年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-4660-3)。205-217 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

高阶并发分离逻辑的本质。 (英语) Zbl 1485.68069号

Yang,Hongseok(编辑),《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会(ESOP 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10201, 696-723 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

保护立方类型理论:保护递归的路径相等。 (英语) Zbl 1370.68052号

Regnier,Laurent(编辑)等人,2016年8月29日至9月1日,法国马赛CSL’16,第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-022-4)。LIPIcs–莱布尼茨国际信息学学报62,第23条,第17页。(2016).
MSC公司:68号30 03年11月15日 03B70号 03G30型 55单位40 68问题55 68吨15
PDF格式BibTeX公司 XML格式引用

高阶幻影状态。 (英语) Zbl 1361.68066号

Garrigue,Jacques(ed.)等人,《第21届ACM SIGPLAN功能编程国际会议论文集》,2016年9月18日至22日,日本奈良,ICFP’16。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4219-3)。256-269 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

具有共导类型的保护依赖类型理论。 (英语) Zbl 1475.68060号

Jacobs,Bart(编辑)等人,《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9634, 20-35 (2016).
PDF格式BibTeX公司 XML格式引用

防护型理论中的PCF模型。 (英语) Zbl 1351.68063号

Dan Ghica(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319,333-349,仅电子版(2015)。
MSC公司:68甲18 03年11月15日 03B70号 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ModuRes:一个Coq库,用于对并发高阶命令式编程语言进行模块化推理。 (英语) Zbl 1465.68038号

Urban,Christian(ed.)等人,《交互式定理证明》。第六届国际会议,2015年ITP,中国南京,2015年8月24日至27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9236, 375-390 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

冲锋!Coq中高阶分离逻辑的框架。 (英语) Zbl 1360.68741号

Beringer、Lennart(编辑)等,《交互式定理证明》。第三届国际会议,2012年ITP,美国新泽西州普林斯顿,2012年8月13-15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32346-1/pbk)。《计算机科学讲义》7406、315-331(2012)。
MSC公司:68吨15 03B70号 68甲15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在Coq中验证具有高阶分离逻辑的面向对象程序。 (英语) Zbl 1342.68203号

Van Eekelen,Marko(编辑)等,交互式定理证明。2011年8月22日至25日,荷兰卑尔根达尔,第二届国际会议,ITP 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22862-9/pbk)。计算机科学课堂讲稿6898,22-38(2011)。
MSC公司:第68季度第60季度 68号30 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

党派性、状态性和从属类型。 (英语) Zbl 1331.03020号

Ong,Luke(编辑),《键入lambda calculi和应用》。2011年6月1日至3日在塞尔维亚诺维萨德举行的2011年TLCA第十届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21690-9/pbk;978-3-662-21691-6/电子书)。计算机科学讲座笔记6690198-212(2011)。
MSC公司:03B40型 03年11月15日 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Ynot:命令式程序的依赖类型。 (英语) Zbl 1323.68142号

2008年9月20日至28日,加拿大不列颠哥伦比亚省维多利亚市,第13届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-59593-919-7)。ACM SIGPLAN Notices 43,No.9,229-240(2008)。
MSC公司:68甲18 03B70号 68甲15 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份