×

找到25个文档（结果1-25）

最新 引文 关联
扬尼克·扎科夫斯基;大卫·卡切拉;德尔芬·德曼吉;古斯塔沃·佩特里;大卫·皮哈迪;苏雷什·贾甘纳坦;维泰克，简

使用相对保证方法验证并发垃圾收集器。 （英语） Zbl 1468.68067号

Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10499, 496-513 (2017).
MSC公司：68N20型 68号30 60年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Y.Zakowski}等人，Lect。注释计算。科学。10499，496--513（2017；Zbl 1468.68067）
全文： 内政部 哈尔
布兰奇，桑德琳;文森特·拉波特;大卫·皮哈迪

用于验证C静态分析器的抽象内存函子。 （英语） Zbl 1361.68058号

Garrigue，Jacques（ed.）等人，《第21届ACM SIGPLAN功能编程国际会议论文集》，2016年9月18日至22日，日本奈良，ICFP’16。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4219-3）。325-337 (2016).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Blazy}等人，《第21届ACM SIGPLAN函数编程国际会议论文集》，ICFP’16，日本奈良，2016年9月18-22日。纽约州纽约市：计算机协会（ACM）。325--337（2016；Zbl 1361.68058）
全文： 内政部 哈尔
布兰奇，桑德琳;德尔芬·德曼吉;大卫·皮哈迪

验证支配树的快速验证优势测试。 （英语） Zbl 1466.68030号

Urban，Christian（编辑）等人，交互定理证明。第六届国际会议，2015年ITP，中国南京，2015年8月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9236, 84-99 (2015).
MSC公司：68N20型 68伏15 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Blazy}等人，Lect。注释计算。科学。9236，84-99（2015；Zbl 1466.68030）
全文： 内政部 哈尔
布兰奇，桑德琳;文森特·拉波特;大卫·皮哈迪

已验证用于反汇编低级自修改代码的抽象解释技术。 （英语） Zbl 1417.68030号

Klein，Gerwin（编辑）等，交互式定理证明。2014年7月14日至17日在奥地利维也纳举行的第五届国际会议，ITP 2014，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第8558页，第128-143页（2014年）。
MSC公司：68N20型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Blazy}等人，Lect。注释计算。科学。8558，128--143（2014；Zbl 1417.68030）
全文： 内政部 哈尔
德尔芬·德曼吉;文森特·拉波特;赵磊;苏雷什·贾甘纳坦;大卫·皮哈迪;维泰克，简

方案B，一个Java缓冲内存模型。 （英语） Zbl 1301.68098号

2013年1月23日至25日，意大利罗马，POPL'13，第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。329-342 (2013).
MSC公司：68号30 68甲15 68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Demange}等人，in：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’13，意大利罗马，2013年1月23日至25日。纽约州纽约市：计算机协会（ACM）。329--342（2013；Zbl 1301.68098）
全文： 内政部
布兰奇，桑德琳（编辑）;克里斯汀·保林·莫林（编辑）;大卫·皮哈迪（编辑）

交互式定理证明。2013年7月22日至26日，第四届国际会议，ITP 2013，法国雷恩。诉讼程序。 （英语） Zbl 1268.68006号

计算机科学讲义7998.柏林：施普林格出版社（ISBN 978-3-642-39633-5/pbk）。xi，第498页。(2013).
MSC公司：68-06 68吨15 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{S.Blazy}（编辑）等，交互式定理证明。2013年7月22日至26日，第四届国际会议，ITP 2013，法国雷恩。诉讼程序。柏林：施普林格（2013；兹bl 1268.68006）
全文： 内政部
弗雷德里克·贝松;皮埃尔·埃曼纽·科尼勒奥;大卫·皮哈迪

Coq内部用于快速反射检查的模块化SMT证明。 （英语） Zbl 1350.68224号

Jouannaud，Jean-Pierre（编辑）等人，《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，151-166（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{F.Besson}等人，Lect。注释计算。科学。7086，151--166（2011；Zbl 1350.68224）
全文： 内政部 哈尔
托马斯·延森;弗洛伦特·基什内尔;大卫·皮哈迪

保护克隆。安全对象复制策略的静态实施。 （英语） Zbl 1326.68098号

Barthe，Gilles（编辑），《编程语言与系统》。2011年3月26日至4月3日，作为欧洲软件理论和实践联合会议的一部分，在德国萨尔布吕肯举行了第20届欧洲编程研讨会，ESOP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记6602317-337（2011）。
MSC公司：68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛T.Jensen｝等人，Lect。注释计算。科学。6602317--337（2011年；Zbl 1326.68098）
全文： 内政部
劳伦特·休伯特;尼古拉·巴雷;弗雷德里克·贝松;德尔芬·德曼吉;托马斯·延森;文森特·蒙福特;大卫·皮哈迪;蒂芬·特平

Sawja：Java静态分析研讨会。 （英语） Zbl 1308.68028号

Beckert，Bernhard（编辑）等人，面向对象软件的形式验证。国际会议，FoVeOOS 2010，法国巴黎，2010年6月28日至30日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18069-9/pbk）。计算机科学课堂讲稿6528，92-106（2011）。
MSC公司：68甲15 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{L.Hubert}等人，Lect。注释计算。科学。6528，92-106（2011；Zbl 1308.68028）
全文： 内政部 arXiv公司
大卫·卡切拉;大卫·皮哈迪

经过认证的指称式抽象解释器。 （英语） Zbl 1291.68331号

Kaufmann，Matt（编辑）等人，《交互式定理证明》。2010年7月11日至14日在英国爱丁堡举行的2010年ITP第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14051-8/pbk）。计算机科学课堂讲稿6172,9-24（2010）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛D.Cachera｝和\textit｛D.Pichardie｝，Lect。注释计算。科学。6172，9--24（2010年；Zbl 1291.68331）
全文： 内政部 链接
弗雷德里克·贝松;大卫·卡切拉;托马斯·延森;大卫·皮哈迪

通过抽象解释验证静态分析。 （英语） Zbl 1252.68073号

Aldini，Alessandro（编辑）等人，《安全分析和设计基础V.FOSAD 2007/2008/2009教程讲座》。柏林：施普林格出版社（ISBN 978-3-642-03828-0/pbk）。计算机科学课堂讲稿5705223-257（2009）。
MSC公司：68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{F.Besson}等人，Lect。注释计算。科学。5705223--257（2009年；Zbl 1252.68073）
全文： 内政部 链接
福雷德里克·达布罗夫斯基;大卫·皮哈迪

类Java语言的认证数据竞争分析。 （英语） Zbl 1252.68054号

Berghofer，Stefan（ed.）等人，高阶逻辑中的定理证明。2009年8月17日至20日在德国慕尼黑举行的第22届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03358-2/pbk）。计算机科学讲座笔记5674212-227（2009）。
MSC公司：68甲15 68甲19 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{F.Dabrowski}和\textit{D.Pichardie}，莱克特。注释计算。科学。5674、212--227（2009年；Zbl 1252.68054）
全文： 内政部
大卫·皮哈迪

通过基础良好的格架模块化结构建造经认证的静态分析仪。 （英语） Zbl 1286.68401号

Chen，Yixiang（编辑）等，《第一届信息学、计算与软件基础国际会议论文集》（FICS 2008），华东师范大学，中国上海，2008年6月3-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记212225-239（2008）。
MSC公司：68吨15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{D.Pichardie}，电子。注释Theor。计算。科学。212225-239（2008年；Zbl 1286.68401）
全文： 内政部
吉尔·巴特;大卫·皮哈迪;塔马拉·雷兹克

经过认证的轻量级无干扰Java字节码验证器。 （英语） Zbl 1187.68112号

De Nicola，Rocco（编辑），《编程语言和系统》。2007年3月24日至4月1日在葡萄牙布拉加举行的第16届欧洲编程研讨会，ESOP 2007，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71314-2/pbk）。计算机科学课堂讲稿4421125-140（2007）。
MSC公司：68甲15
PDF格式BibTeX公司 XML格式引用
\textit{G.Barthe}等人，Lect。注释计算。科学。4421、125--140（2007年；Zbl 1187.68112）
全文： 内政部
吉尔·巴特;朱利安·福雷斯特;大卫·皮哈迪;弗拉德·鲁苏

递归函数的定义和推理：Coq证明助手的实用工具。 （英语） Zbl 1185.68616号

Hagiya，Masami（编辑）等人，《功能和逻辑编程》。2006年4月24日至26日，第八届国际研讨会，FLOPS 2006，日本富士-苏索诺。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33438-6/pbk）。计算机科学课堂讲稿3945114-129（2006）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛G.Barthe｝等人，Lect。注释计算。科学。3945114-129（2006年；Zbl 1185.68616）
全文： 内政部 链接
大卫·卡切拉;托马斯·延森;大卫·皮哈迪;杰拉尔多·施奈德

经过认证的内存使用情况分析。 （英语） Zbl 1120.68385号

Fitzgerald，John（编辑）等人，FM 2005：正式方法。欧洲正式方法国际研讨会，英国纽卡斯尔，2005年7月18日至22日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27882-6/pbk）。计算机科学课堂讲稿358291-106（2005）。
MSC公司：68号30 68吨15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Cachera}等人，Lect。注释计算。科学。3582，91-106（2005；Zbl 1120.68385）
全文： 内政部
大卫·卡切拉;托马斯·延森;大卫·皮哈迪;弗拉德·鲁苏

在构造逻辑中提取数据流分析器。 （英语） 兹比尔1126.68345

David Schmidt（编辑），《编程语言和系统》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第13届欧洲编程研讨会（ESOP 2004），是欧洲软件理论与实践联合会议（ETAPS 2004）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21313-9/pbk）。计算机科学课堂讲稿2986385-400（2004）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Cachera}等人，Lect。注释计算。科学。2986385--400（2004年；Zbl 1126.68345）
全文： 内政部
大卫·卡切拉;大卫·皮哈迪

仿射递推方程组的嵌入Coq公司. （英语） Zbl 1279.68286号

Basin，David（编辑）等人，《高阶逻辑中的定理证明》。第16届国际会议，2003年TPHOL，意大利罗马，2003年9月8-12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40664-6/pbk）。莱克特。注释计算。科学。2758, 155-170 (2003).
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Cachera}和\textit{D.Pichardie}，莱克特。注释计算。科学。2758155-170（2003年；Zbl 1279.68286）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件