×

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

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格式引用
全文: 内政部 哈尔

Moessner定理:在Coq公司. (英语) Zbl 1475.68456号

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。9660, 309-324 (2016).
MSC公司:68V20型 11B83号
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格式引用
全文: 内政部 链接

C语言中非确定性和序列点的操作语义和公理语义。 (英语) Zbl 1284.68404号

2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL’14,第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2544-8)。101-112 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

Coq中形式化的C11重叠限制。 (英语) Zbl 1426.68055号

Gonthier,Georges(编辑)等人,《认证程序和证明》。第三届国际会议,2013年CPP,澳大利亚维多利亚州墨尔本,2013年12月11-13日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8307, 50-65 (2013).
MSC公司:68号30 68伏15 68V20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非本地控制流和块范围变量的分离逻辑。 (英语) Zbl 1260.68101号

Pfenning,Frank(编辑),《软件科学和计算结构基础》。2013年3月16日至24日在意大利罗马举行的第16届国际会议FOSSACS 2013,是欧洲软件理论与实践联合会议ETAPS 2013的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-37074-8/pbk)。计算机科学课堂讲稿7794257-272(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

HOL、Isabelle和Coq中C99标准的形式化。 (英语) Zbl 1335.68233号

Davenport,James H.(编辑)等人,《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22672-4/pbk)。计算机科学课堂讲稿6824。《人工智能课堂讲稿》,301-303(2011)。
MSC公司:68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Coq中的计算机认证有效精确实数。 (英语) Zbl 1260.68377号

Davenport,James H.(编辑)等人,《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22672-4/pbk)。计算机科学课堂讲稿6824。《人工智能讲义》,90-106(2011)。
MSC公司:68吨15 65G99型
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份