×

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

最新的 引文 关联
拉尔斯·胡佩尔;托比亚斯·尼普科

Isabelle/HOL到CakeML的经过验证的编译器。 （英语） Zbl 1418.68045号

阿马尔·艾哈迈德（编辑），《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会（ESOP 2018），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10801, 999-1026 (2018).
MSC公司：68N20型 68甲18 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{L.Hupel}和\textit{T.Nipkow}，莱克特。注释计算。科学。10801999-1026（2018；Zbl 1418.68045）
全文： 内政部
贾斯敏·克里斯蒂安·布兰切特;艾默里·布齐;安德烈亚斯·洛赫比勒;安德烈·波佩斯库;德米特里·特拉泰尔

有利益的朋友。在基础证明助手中实现同位语。 （英语） Zbl 1485.68280号

Yang，Hongseok（编辑），《编程语言与系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10201, 111-140 (2017).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Blanchette}等人，Lect。注释计算。科学。10201、111--140（2017；Zbl 1485.68280）
全文： 内政部
克里斯蒂安·斯特纳格尔;勒内，蒂曼

导出比较器并在Isabelle/HOL中显示函数。 （英语） Zbl 1465.68063号

Urban，Christian（ed.）等人，《交互式定理证明》。2015年8月24日至27日，第六届国际会议，ITP 2015，中国南京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9236, 421-437 (2015).
MSC公司：68第05页 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{C.Sternagel}和\textit{R.Thiemann}，莱克特。注释计算。科学。9236，421--437（2015；Zbl 1465.68063）
全文： 内政部
玛格努斯·奥·米林。;斯科特·欧文斯

从高阶逻辑证明ML的合成。 （英语） Zbl 1291.68364号

2012年9月9日至15日在丹麦哥本哈根举行的第17届ACM SIGPLAN功能编程国际会议记录，ICFP’12。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1054-3）。ACM SIGPLAN Notices 47，No.9，115-126（2012）。
MSC公司：第68页第15页 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.O.Myreen}和\textit{S.Owens}，摘自：第17届ACM SIGPLAN函数式编程国际会议记录，ICFP’12，丹麦哥本哈根，2012年9月9日至15日。纽约州纽约市：计算机协会（ACM）。115-126（2012年；Zbl 1291.68364）
全文： 内政部
JoséN·奥利维拉。

使用无点变换通过计算扩展静态检查。 （英语） Zbl 1250.68093号

Bove，Ana（编辑）等人，《语言工程和严格的软件开发》。2008年2月24日至3月1日，乌拉圭皮里亚波利斯，2008年国际LerNet ALFA暑期学校。修订的教程讲座。柏林：施普林格出版社（ISBN 978-3-642-03152-6/pbk）。计算机科学讲座笔记5520，195-251（2009）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.N.Oliveira}，莱克特。注释计算。科学。5520195-251（2009年；Zbl 1250.68093）
全文： 内政部 链接
亚历山大·克劳斯

递归数据类型的模式最小化问题。 （英语） Zbl 1323.68215号

2008年9月20日至28日，加拿大不列颠哥伦比亚省维多利亚市，第13届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-919-7）。ACM SIGPLAN通知43，第9号，267-274（2008）。
MSC公司：68号30 68甲18 2017年第68季度 65年第68季度 60年第68季度 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{A.Krauss}，in：第13届ACM SIGPLAN函数式编程国际会议论文集，ICFP'08，加拿大不列颠哥伦比亚省维多利亚市，2008年9月20-28日。纽约州纽约市：计算机协会（ACM）。267--274（2008年；Zbl 1323.68215）
全文： 内政部
理查德·基伯茨。

程序验证的编程策略。 （英语） Zbl 1277.68057号

Antoy，Sergio（编辑），第六届改写和编程简化策略国际研讨会论文集（WRS 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第10期，3-38页（2007年）。
MSC公司：68号30 68甲18 60年第68季度 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{R.B.Kieburtz}，电子。理论注释。计算。科学。174，第10号，第3--38号（2007；Zbl 1277.68057）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件