×

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

最新的 引文 相关性
弗兰克，普芬宁;路易斯·凯雷斯;伯纳多·托尼霍

会话型进程演算中的校验代码。 （英语） Zbl 1350.68204号

Jouannaud，Jean-Pierre（编辑）等人，《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，21-36（2011）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{F.Pfenning}等人，Lect。注释计算。科学。7086，21-36（2011；Zbl 1350.68204）
全文： DOI程序
伊曼纽尔·塔朱迪内（Emmanuel M.Tadjouddine）。

关于AD转换的正式认证。 （英语） Zbl 1156.68572号

Bischof，Christian H.（编辑）等人，《自动微分的进展》。根据2008年8月11日至15日在德国波恩举行的第五届自动差分国际会议上的演示文稿选出的论文。柏林：施普林格出版社（ISBN 978-3-540-68935-5/pbk）。计算科学与工程课堂讲稿64，23-33（2008）。
MSC公司：68吨15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Tadjouddine}，莱克特。注释计算。科学。工程64，23-33（2008；Zbl 1156.68572）
倪兆忠;邵，钟

具有嵌入式代码指针的认证程序集编程。 （英语） Zbl 1369.68150号

2006年1月11日至13日在美国南卡罗来纳州查尔斯顿举行的第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-027-2）。320-333（2006年）。
MSC公司：68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{Z.Ni}和\textit{Z.Shao}，in：第33届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'06，查尔斯顿，南卡罗来纳州，美国，2006年1月11-13日。纽约州纽约市：计算机协会（ACM）。320-333（2006年；Zbl 1369.68150）
全文： DOI程序
冯新余;邵，钟

使用动态线程创建和终止对并发汇编代码进行模块化验证。 （英语） Zbl 1302.68088号

2005年9月26日至28日，爱沙尼亚塔林，ICFP'05，第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-064-7）。ACM SIGPLAN公告40，编号9，254-267（2005）。
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{X.Feng}和\textit{Z.Shao}，in：第十届ACM SIGPLAN函数编程国际会议论文集，ICFP'05，爱沙尼亚塔林，2005年9月26-28日。纽约州纽约市：计算机协会（ACM）。254--267（2005；Zbl 1302.68088）
全文： DOI程序
Mircea-Dan赫内斯特

轻度功能性解释。优化哥德尔技术，从（经典）证明中提取（更）有效的程序。 （英语） Zbl 1136.03333号

Luke Ong（编辑），《计算机科学逻辑》。2005年8月22日至25日，第19届CSL国际研讨会，第14届EACSL年会，英国牛津。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28231-9/pbk）。计算机科学课堂讲稿3634477-492（2005）。
MSC公司：07年3月 2010年1月3日 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.-D.Hernest}，莱克特。注释计算。科学。3634477--492（2005年；Zbl 1136.03333）
全文： DOI程序
Mircea-Dan赫内斯特;乌尔里奇·科伦巴赫

功能解释的复杂性分析。 （英语） Zbl 1096.03071号

西奥。计算。科学。 338，编号1-3，200-246（2005）.
审核人：M.Yasuhara（普林斯顿）
MSC公司：20层03 35楼03号 2010年1月3日 65年第68季度 60年第68季度 68号30 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.-D.Hernest}和\textit{U.Kohlenbach}，Theor。计算。科学。338，编号1--3，200-246（2005；Zbl 1096.03071）
全文： DOI程序
安德鲁·伯纳德;李，彼得

校对代码的时序逻辑。 （英语） Zbl 1072.68563号

Andrei Voronkov（编辑），自动扣除-CADE-18。第18届国际会议，丹麦哥本哈根，2002年7月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43931-5）。莱克特。注释计算。科学。2392, 31-46 (2002).
MSC公司：68吨15 68号30 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Bernard}和\textit{P.Lee}，Lect。注释计算。科学。2392、31-46（2002年；Zbl 1072.68563）
全文： 链接
迈克尔·威伦;约翰·舒曼;伯恩德·菲舍尔

综合认证代码。 （英语） Zbl 1064.68541号

Eriksson、Lars-Henrik（编辑）等人，《FME 2002：正式方法——正确使用IT》。欧洲正式方法国际研讨会，丹麦哥本哈根，2002年7月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43928-5）。莱克特。注释计算。科学。2391, 431-450 (2002).
MSC公司：68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Whalen}等人，莱克特。注释计算。科学。2391431--450（2002年；Zbl 1064.68541）
全文： 链接
乔治·勒库拉

使用校对代码加强安全性。 （英语） Zbl 0924.68072号

Brookes，Stephen（编辑）等人，《编程语义的数学基础》。1999年4月28日至5月1日，路易斯安那州新奥尔良市杜兰大学第十五届会议记录。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。20，第8号电子文件（1999年）。
MSC公司：68第25页
PDF格式BibTeX公司 XML格式引用
\textit{G.Necula}，in：编程语义的数学基础。1999年4月28日至5月1日，路易斯安那州新奥尔良市杜兰大学第十五届会议记录。阿姆斯特丹：爱思唯尔。第8号电子文件（1999；Zbl 0924.68072）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件