×

找到620个文档（结果1-100）

最新的 引文 关联
雷霍特，乔纳斯·沃尔珀斯；罗伯特·格莱克；马蒂斯·克鲁斯

走向去可逆化：静态地减少断言。 （英语） Zbl 07786598号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 106-114 (2023).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{J.W.Reholt}等人，Lect。注释计算。科学。13960、106-114（2023；Zbl 07786598）
全文： 内政部
约阿希姆·蒂尔斯泰德·克里斯滕森；罗宾·卡斯加德；迈克尔·柯克达尔·汤姆森

可逆函数的尾部递归变换。 （英语） Zbl 07786596号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 73-88 (2023).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{J.T.Kristensen}等人，Lect。注释计算。科学。13960、73-88（2023年；Zbl 07786596）
全文： 内政部 arXiv公司
尤里·普罗霍罗夫

双有理变换的有限组。 （英语） Zbl 1523.14031号

Hujdurović，Ademir（编辑）等人，欧洲数学大会。2021年6月20日至26日，斯洛文尼亚波托罗日，8ECM，第八届大会会议记录。柏林：欧洲数学学会（EMS）。413-437 (2023).
MSC公司：14E07号 14J50型 14J45型 14E30型 14-02
PDF格式BibTeX公司 XML格式引用
\textit{Y.Prokhorov}，in：欧洲数学大会。2021年6月20日至26日，斯洛文尼亚波托罗日，8ECM，第八届大会会议记录。柏林：欧洲数学学会（EMS）。413--437（2023年；Zbl 1523.14031）
全文： 内政部 arXiv公司
克莱门·奥伯特；托马斯·鲁比亚诺；内亚·鲁施；托马斯·塞勒

分配和并行化非规范循环。 （英语） Zbl 1529.68078号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 1-24 (2023).
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}等人，Lect。注释计算。科学。13881，1--24（2023；Zbl 1529.68078）
全文： 内政部 哈尔
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；约翰·加拉赫（John P.Gallagher）。；曼努埃尔五世（Manuel V.Hermenegildo）。；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

用于程序验证的约束Horn子句的分析和转换。 （英语） Zbl 07776353号

理论与实践。日志。程序。 22，第6期，974-1042（2022）.
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛E.De Angelis｝等人，《理论与实践》。日志。程序。22，第6号，974--1042（2022；Zbl 07776353）
全文： 内政部 arXiv公司
OA许可证
杰夫·汉密尔顿。；本杰明·阿齐兹

排除：转换\（\pi\）-演算规范以删除内部通信。 （英语） Zbl 1528.68252号

利马，卢卡斯（编辑）等人，《形式方法：基础和应用》。第25届巴西研讨会，SBMF 2022，虚拟活动，2022年12月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13768, 109-123 (2022).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.W.Hamilton}和\textit{B.Aziz}，莱克特。注释计算。科学。13768、109-123（2022年；Zbl 1528.68252）
全文： 内政部
Maycon J.J.阿玛罗。；塞缪尔·费托萨。；罗德里戈·里贝罗。

将一般递归编译为有限深度模式匹配的合理策略。 （英语） Zbl 1528.68050号

利马，卢卡斯（编辑）等人，《形式方法：基础和应用》。第25届巴西研讨会，SBMF 2022，虚拟活动，2022年12月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13768, 39-54 (2022).
MSC公司：68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.J.J.Amaro}等人，Lect。注释计算。科学。13768，39-54（2022；Zbl 1528.68050）
全文： 内政部
罗伯托·布鲁尼；罗伯塔·戈里；尼古拉·马尼尼

通过对有界域的完整抽象来确定程序属性。 （英语） Zbl 1524.68077号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 175-200 (2022).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。13790175-200（2022年；Zbl 1524.68077）
全文： 内政部
乌尔里希·舍普；徐创杰

通过环境转换的抽象概念推断区域类型。 （英语） Zbl 1524.68101号

谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13658, 45-64 (2022).
MSC公司：68号30 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{U.Schöpp}和\textit{C.Xu}，Lect。注释计算。科学。13658、45-64（2022年；Zbl 1524.68101）
全文： 内政部 arXiv公司
比肖克桑·卡夫；格雷姆·恒河；彼得·斯图基（Peter J.Stuckey）。；彼得·沙赫特；哈拉尔德·森德加德

支持转换的前提推理。 （英语） Zbl 1530.68065号

理论与实践。日志。程序。 21，第6号，700-716（2021）.
MSC公司：68号30 03B70号 68N17号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Kafle}等人，《理论与实践》。日志。程序。21，第6号，700--716（2021；Zbl 1530.68065）
全文： 内政部 arXiv公司
斯特拉·西米奇；奥马尔·因弗索；米尔科·特里巴斯通

定点算法下不连续性误差的位精度验证。 （英语） Zbl 1522.68163号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 443-460 (2021).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Simić}等人，Lect。注释计算。科学。13085、443--460（2021；Zbl 1522.68163）
全文： 内政部
玛丽亚·马克西莫娃；斯文·施奈德；霍尔格·吉斯

区间概率定时图变换系统。 （英语） 兹比尔1492.68071

Gadducci，Fabio（编辑）等人，《图形变换》。2021年6月24日至25日，第14届国际会议，ICGT 2021，作为STAF 2021虚拟活动的一部分举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12741, 221-239 (2021).
MSC公司：2012年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Maximova}等人，Lect。注释计算。科学。12741、221--239（2021；Zbl 1492.68071）
全文： 内政部 链接
于普罗霍罗夫。G.公司。

等变最小模型程序。 （英语。俄文原件） Zbl 1478.14030号

俄罗斯数学。Surv公司。 76，第3期，461-542（2021年）; 来自Usp的翻译。Mat.Nauk 76，No.3，93-182（2021）。
审核人：Anne-Sophie Kaloghiros（伦敦）
MSC公司：14E30型 14E07号 14J50型
PDF格式BibTeX公司 XML格式引用
\textit{Yu.G.Prokhorov}，俄罗斯数学。Surv公司。76，第3号，461--542（2021；Zbl 1478.14030）；来自Usp的翻译。Mat.Nauk 76，No.3，93--182（2021）
全文： 内政部
玛丽亚·马克西莫娃；斯文·施奈德；霍尔格·吉斯

概率时间图变换系统的组成分析。 （英语） Zbl 1467.68090号

Guerra，Esther（编辑）等人，《软件工程的基本方法》，第24届国际会议，FASE 2021，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12649, 196-217 (2021).
MSC公司：60年第68季度 2012年第68季度 93甲15 93B70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Maximova}等人，Lect。注释计算。科学。12649196-217（2021；Zbl 1467.68090）
全文： 内政部
斯特拉·西米奇；阿尔贝托·本普拉德；奥马尔·因弗索；米尔科·特里巴斯通

定点运算中的严密误差分析。 （英语） Zbl 1517.68083号

Dongol，Brijesh（编辑）等，《综合形式方法》。第16届国际会议，2020年11月16日至20日，瑞士卢加诺IFM 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12546, 318-336 (2020).
MSC公司：68号30 65G99型
PDF格式BibTeX公司 XML格式引用
\textit{S.Simić}等人，Lect。注释计算。科学。12546、318--336（2020年；Zbl 1517.68083）
全文： 内政部
雅各布·劳雷尔；萨萨·米塞洛维奇

带修正的概率程序的连续化。 （英语） Zbl 1508.68044号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 366-393 (2020).
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{J.Laurel}和\textit{S.Misailovic}，莱克特。注释计算。科学。12075、366--393（2020年；Zbl 1508.68044）
全文： 内政部
Maja Hanne Kirkeby；罗伯特·格莱克

条件构造函数项重写系统的半反转。 （英语） 兹比尔1502.68152

Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12042, 243-259 (2020).
MSC公司：2012年第68季度 68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.H.Kirkeby}和\textit{R.Glück}，莱克特。注释计算。科学。12042，243-259（2020；Zbl 1502.68152）
全文： 内政部
萨拉特·钱德拉·瓦拉纳西；埃尔默·萨拉扎；尼拉吉·米塔尔；戈帕尔·古普塔

根据答案集编程规范合成命令代码。 （英语） Zbl 1502.68075号

Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12042, 75-89 (2020).
MSC公司：68N17号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.C.Varanasi}等人，Lect。注释计算。科学。12042，75-89（2020；Zbl 1502.68075）
全文： 内政部
内布拉斯加州纳赛尔；延斯·科索尔；托尔斯滕·阿伦特；加布里埃尔·坦泽尔

为模型转换规则构造优化的约束保持应用条件。 （英语） Zbl 1451.68140号

J.日志。阿尔盖布。方法计划。 114，文章ID 100564，31 p.（2020）.
MSC公司：2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Nassar}等人，J.Log。阿尔盖布。方法计划。114，文章ID 100564，31 p.（2020；Zbl 1451.68140）
全文： 内政部
劳拉·蒂托洛；塞萨尔·穆尼奥斯。；马可·费利乌。；马里亚诺·莫斯卡托。

消除浮点程序中的不稳定测试。 （英语） Zbl 1524.68104号

弗雷德·梅斯纳德（编辑）等，基于逻辑的程序合成和转换。2018年9月4-6日在德国法兰克福举行的2018年LOPSTR第28届国际研讨会。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11408, 169-183 (2019).
MSC公司：68号30 65克50 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛L.Titolo｝等人，Lect。注释计算。科学。11408169-183（2019年；Zbl 1524.68104）
全文： 内政部 arXiv公司
阿曼尼·马赫洛夫；克里斯蒂安·佩塞博伊斯；Tran、Hanh Nhi

关于图形转换程序的两级推理。 （英语） Zbl 1429.68043号

Guerra，Esther（编辑）等人，《图形变换》。2019年7月15日至16日，作为2019年STAF的一部分，在荷兰埃因霍温举行了第十二届国际会议，即2019年ICGT。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11629, 111-127 (2019).
MSC公司：68号30 2012年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Makhlouf}等人，Lect。注释计算。科学。11629、111-127（2019年；Zbl 1429.68043）
全文： 内政部 链接
J·米歇尔。；萨科诺维奇，A.L。

非局部NLS显式解和波函数的GBDT和代数几何方法。 （英语） Zbl 1422.35151号

《物理学杂志》。A、 数学。西奥。 52，第2号，文章ID 025201，24 p.（2019）.
MSC公司：55年第35季度 37K10型 37千克35 14日24时
PDF格式BibTeX公司 XML格式引用
\textit{J.Michor}和\textit{A.L.Sakhnovich}，J.Phys。A、 数学。西奥。52，第2号，文章ID 025201，24 p.（2019；Zbl 1422.35151）
全文： 内政部 arXiv公司
尤罕·博伊库特；费雯·佩利蒂埃；皮埃尔·雷蒂

通过CS-program近似任何逻辑程序。 （英语） Zbl 1517.68138号

Rusu，Vlad（编辑），重写逻辑及其应用。2018年6月14日至15日，作为ETAPS的卫星活动，在希腊塞萨洛尼基举行了2018年WRLA第12次国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11152, 245-260 (2018).
MSC公司：2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Boichut}等人，Lect。注释计算。科学。11152、245--260（2018；Zbl 1517.68138）
全文： 内政部
法里德·阿布·扎伊德；克里斯·科彻

队列幺半群的Cayley图：逻辑性和可判定性。 （英语） Zbl 1528.68089号

Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122，第9条，第17页（2018年）。
MSC公司：68第05页 03B25号 03B70号 05年3月 05C25号 20平方米 20立方米 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{F.Abu Zaid}和\textit{C.Köcher}，LIPIcs——莱布尼茨国际程序。通知。122，第9条，第17页（2018；Zbl 1528.68089）
全文： 内政部
比肖克桑·卡夫；约翰·加拉赫（John P.Gallagher）。；格雷姆·恒河；彼得·沙赫特；哈拉尔德·森德加德；彼得·斯图基（Peter J.Stuckey）。

使用约束Horn子句进行前提推理的迭代方法。 （英语） Zbl 1451.68075号

理论与实践。日志。程序。 18，编号3-4，553-570（2018）.
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{B.Kafle}等人，《理论与实践》。日志。程序。18、编号3--4、553--570（2018；Zbl 1451.68075）
全文： 内政部 arXiv公司
埃马努埃莱·德安吉利斯；法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

在没有归纳法的情况下解决归纳数据类型上的Horn子句。 （英语） Zbl 1451.68172号

理论与实践。日志。程序。 18，编号3-4，452-469（2018）; 勘误表同上，第19号，第4，629（2019）。
MSC公司：60年第68季度 03B70号 68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛E.De Angelis｝等人，《理论与实践》。日志。程序。18、编号3--4、452--469（2018；Zbl 1451.68172）
全文： 内政部 arXiv公司
米歇尔·阿尔贝蒂；辛戈尔斯，朱利安

从C分析工具的正式规范生成上下文。 （英语） 兹比尔1508.68053

Fioravanti，Fabio（编辑）等，基于逻辑的程序合成和转换。第27届国际研讨会，2017年LOPSTR，2017年10月10日至12日，比利时纳穆尔。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10855，93-111（2018）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Alberti}和\textit{J.Signoles}，莱克特。注释计算。科学。10855、93-111（2018年；Zbl 1508.68053）
全文： 内政部 arXiv公司
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

用于程序验证的谓词配对。 （英语） Zbl 1478.68153号

理论与实践。日志。程序。 18，编号2，126-166（2018）.
MSC公司：60年第68季度 03B70号 68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛E.De Angelis｝等人，《理论与实践》。日志。程序。18，编号2，126--166（2018；Zbl 1478.68153）
全文： 内政部 arXiv公司
米拉·达拉·普雷达；米歇尔·帕斯夸

软件水印：一种基于语义的方法。 （英语） Zbl 1412.68036号

Mastroeni，Isabella（编辑），第六届数字和符号抽象域国际研讨会论文集，NSAD 2016，英国爱丁堡，2016年9月11日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。331, 71-85 (2017).
MSC公司：68号30 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Dalla Preda}和\textit{M.Pasqua}，电子。注释Theor。计算。科学。331、71——85（2017；Zbl 1412.68036）
全文： 内政部
Krogh Jespersen，莫顿；卡斯珀·斯文森；拉尔斯·比克达尔

高阶并发分离逻辑中类型与效果的关系模型。 （英语） Zbl 1380.68126号

Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。218-231 (2017).
MSC公司：68号30 03B70号 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛M.Krogh Jespersen｝等人，在：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）。218-231（2017年；兹bl 1380.68126）
全文： 内政部
阿努什里·贾纳；Khedker，Uday P。；数据器，Advaita；R·文卡特斯。；C.、尼亚斯

通过使用数组转换程序来缩放有界模型检查。 （英语） Zbl 1485.68067号

Hermenegildo，Manuel V.（编辑）等，基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10184, 275-292 (2017).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Jana}等人，Lect。注释计算。科学。10184，275--292（2017；Zbl 1485.68067）
全文： 内政部 arXiv公司
Razvan Certezeanu；索菲亚·德罗索波卢；本杰明·埃格兰·穆勒；雷诺，K.鲁斯坦M。；辛杜兰·西瓦拉扬；舵手，马克

重新访问快速排序。验证快速排序的替代版本。 （英语） Zbl 1475.68102号

阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。9660, 407-426 (2016).
MSC公司：68页第10页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛R.Certezeanu｝等人，Lect。注释计算。科学。9660407--426（2016；Zbl 1475.68102）
全文： 内政部
安德鲁·索戈孔；哈利勒·戈尔巴尔；泰勒·T·约翰逊。

非线性常微分方程的解耦抽象。 （英语） Zbl 1427.68173号

Fitzgerald，John（编辑）等，FM 2016：形式方法。第21届国际研讨会，2016年11月9日至11日，塞浦路斯利马索尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9995, 628-644 (2016).
MSC公司：60年第68季度 34立方厘米 34C20美元
PDF格式BibTeX公司 XML格式引用
\textit{A.Sogokon}等人，莱克特。注释计算。科学。9995628--644（2016年；Zbl 1427.68173）
全文： 内政部 哈尔
直纪西田；阿德里安·帕拉西奥斯；德国维达尔

可逆项重写。 （英语） Zbl 1387.68147号

Kesner，Delia（ed.）等人，第一届计算和扣减形式结构国际会议，2016年金融稳定与发展委员会，葡萄牙波尔图，2016年6月22日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-010-1）。LIPIcs–莱布尼茨国际信息学学报52，第28条，第18页（2016年）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{N.Nishida}等人，LIPIcs——莱布尼茨国际程序。通知。52，第28条，第18页（2016年；Zbl 1387.68147）
全文： 内政部
乔恩·海尔·布伦纳斯；拉希德·埃查黑德；马丁·斯特里克

确保模型转换的正确性，同时保持可判定性。 （英语） Zbl 1482.68085号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9965, 315-332 (2016).
MSC公司：68号30 03B70号 2012年第68季度 60年第68季度 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Brenas}等人，Lect。注释计算。科学。9965，315--332（2016；Zbl 1482.68085）
全文： 内政部 哈尔
罗曼·艾萨特；福雷德里克·沃辛；沃尔夫，伯克哈特

通过符号执行技术消除不可行的路径。路径的正确性和保存证明。 （英语） 兹比尔1478.68140

Blanchette，Jasmin Christian（编辑）等，交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9807, 36-51 (2016).
MSC公司：60年第68季度 68号30 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Aissat}等人，Lect。注释计算。科学。9807,36-51（2016；Zbl 1478.68140）
全文： 内政部
鲍文雷；斯里拉姆·克里希纳莫奥斯蒂；路易斯·诺埃尔·波切特；Fabrice拉斯特罗；萨达亚潘，P。

Polycheck：仿射程序上迭代空间变换的动态验证。 （英语） Zbl 1347.68068号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。539-554 (2016).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Bao}等人，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。539--554（2016；Zbl 1347.68068）
全文： 内政部
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

通过线性化约束Horn子句来证明命令式程序的正确性。 （英语） Zbl 1379.68093号

理论与实践。日志。程序。 15，编号4-5，635-650（2015）.
MSC公司：68号30 68N17号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛E.De Angelis｝等人，《理论与实践》。日志。程序。15，编号4--5，635--650（2015；Zbl 1379.68093）
全文： 内政部 arXiv公司
格雷姆·恒河；豪尔赫·纳瓦斯（Jorge A.Navas）。；彼得·沙赫特；哈拉尔德·森德加德；彼得·斯图基（Peter J.Stuckey）。

Horn子句作为程序分析和转换的中间表示。 （英语） Zbl 1379.68089号

理论与实践。日志。程序。 15，No.4-5，526-542（2015）.
MSC公司：第68页第20页 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{G.Gange}等人，《理论与实践》。日志。程序。15，编号4--5，526--542（2015；Zbl 1379.68089）
全文： 内政部 arXiv公司
詹森，尼尔斯；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；费德里科·奥利梅多；弗里德里希·格雷茨；安娜贝拉·麦克维尔

概率规划中的条件处理。 （英语） Zbl 1351.68066号

Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319199-216，仅电子版（2015）。
MSC公司：68甲19 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Jansen}等人，《电子》。注释Theor。计算。科学。319199-216（2015年；兹比尔1351.68066）
全文： 内政部 arXiv公司
皮埃尔·内龙

证明平方根和除法消除。 （英语） Zbl 1351.68062号

Bogomolov，Sergiy（编辑）等人，基于2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数值软件验证国际研讨会上所作陈述的论文选集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》317117-131（2015）。
MSC公司：68甲18 6504年
PDF格式BibTeX公司 XML格式引用
\textit{P.Neron}，电子。注释Theor。计算。科学。317117-131（2015年；Zbl 1351.68062）
全文： 内政部
北卡罗来纳州达穆什。；马特尔，M。；A.查普特。

数字精度PID控制器的转换。 （英语） Zbl 1352.65665号

Bogomolov，Sergiy（编辑）等人，基于2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数值软件验证国际研讨会上所作陈述的论文选集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》317，47-54（2015）。
MSC公司：6504年 65克50 93B52号
PDF格式BibTeX公司 XML格式引用
\textit{N.Damouche}等人，《电子》。注释Theor。计算。科学。317、47-54（2015年；Zbl 1352.65665）
全文： 内政部
佐藤，Koichi；肯塔罗州菊池；高仁青藤；富山，吉藤义彦

术语重写系统的上下文移动变换的正确性。 （英语） Zbl 1473.68057号

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日，第25届国际研讨会，LOPSTR 2015，意大利锡耶纳。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9527, 331-345 (2015).
MSC公司：68号30 2012年第68季度 68问题55 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{K.Sato}等人，Lect。注释计算。科学。9527、331--345（2015年；Zbl 1473.68057）
全文： 内政部
黑山，曼努埃尔；里卡多·佩纳；詹姆·桑切斯·埃尔南德斯

用于生成验证条件的通用中间表示。 （英语） 兹比尔1473.68051

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日，第25届国际研讨会，LOPSTR 2015，意大利锡耶纳。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9527, 227-243 (2015).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.黑山}等人，Lect。注释计算。科学。9527、227--243（2015；Zbl 1473.68051）
全文： 内政部
纳斯林·达穆切；马蒂厄·马特尔；亚历山大·查普托

精度优化对数值迭代方法收敛性的影响。 （英语） Zbl 1474.65479号

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日，第25届国际研讨会，LOPSTR 2015，意大利锡耶纳。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9527, 143-160 (2015).
MSC公司：65年第30季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Damouche}等人，Lect。注释计算。科学。9527、143-160（2015年；Zbl 1474.65479）
全文： 内政部
萨伏安·塔哈；雅克·朱利安德；弗雷德里克·达多；卡卢·卡布雷拉·卡斯蒂略；比拉尔Kanso

一种基于合成自动机的语义，并保留用于测试属性模式的转换规则。 （英语） Zbl 1338.68164号

正式Asp。计算。 27，第4期，641-664（2015）.
MSC公司：68问题55 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Taha}等人，正式Asp。计算。27，第4号，641--664（2015；Zbl 1338.68164）
全文： 内政部
拜克斯，彼得；简·雷内克

通过聚类抽象分析无限状态图变换系统。 （英语） Zbl 1432.68299号

D’Souza，Deepak（编辑）等人，《验证、模型检查和抽象解释》。2015年1月12日至14日在印度孟买举行的第16届国际会议，VMCAI 2015。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8931, 135-152 (2015).
MSC公司：68问题85 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Backes}和\textit{J.Reineke}，莱克特。注释计算。科学。8931、135——152（2015年；Zbl 1432.68299）
全文： 内政部
Masanori长岛；丰富美加藤；Masahiko酒井；直纪西田

逆展开问题及其启发式求解。 （英语） Zbl 1428.68126号

Schmidt-Schauß，Manfred（ed.）等人，《程序转换和评估重写技术第一次国际研讨会》，WPTE'14，奥地利维也纳，2014年7月13日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 27-38 (2014).
MSC公司：68号30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Nagashima}等人，OASIcs--OpenAccess服务器。通知。40、27-38（2014年；Zbl 1428.68126）
全文： 内政部
塞尔吉·博戈莫洛夫；克里斯蒂安·埃雷拉；马尔科·穆尼兹；伯恩德·韦斯特法尔；安德烈亚斯·波德尔斯基

混合自动机中的准相关变量。 （英语） Zbl 1361.68118号

第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2732-9）。93-102 (2014).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bogomolov}等人，in：第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。93-102（2014年；Zbl 1361.68118）
全文： 内政部 链接
保罗·唐恩；泽纳·M·阿里奥拉。

可组合延续的组合语义：从中止到分隔控件。 （英语） Zbl 1345.68046号

2014年9月1日至3日在瑞典哥德堡举行的第19届ACM SIGPLAN功能编程国际会议记录，ICFP’14。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2873-9）。109-122 (2014).
MSC公司：68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{P.Downen}和\textit{Z.M.Ariola}，摘自：第19届ACM SIGPLAN函数编程国际会议论文集，ICFP’14，瑞典哥德堡，2014年9月1日至3日。纽约州纽约市：计算机协会（ACM）。109-122（2014；Zbl 1345.68046）
全文： 内政部
索诺贝、达苏亚；Kohei Suenaga公司；Atsushi Igarashi

基于使用所有权的程序转换的自动内存管理。 （英语） Zbl 1453.68030号

雅克·加里格（编辑），《编程语言和系统》。第十二届亚洲研讨会，2014年APLAS，新加坡，新加坡，2014年11月17日至19日，会议记录。柏林：斯普林格。莱克特。注释计算。科学。8858，58-77（2014年）。
MSC公司：68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{T.Sonobe}等人，Lect。注释计算。科学。8858，58--77（2014；Zbl 1453.68030）
全文： 内政部
Gehan M.K.塞利姆。；利瓦·卢西奥；詹姆斯·科迪。；朱尔根·丁格尔；本特利·J·奥克斯。

基于图形的模型转换属性的规范和验证。 （英语） Zbl 1423.68291号

Giese，Holger（编辑）等人，《图形变换》。2014年7月22日至24日，作为2014年STAF的一部分，在英国约克举行了2014年第七届国际会议ICGT。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8571, 113-129 (2014).
MSC公司：60年第68季度 2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛G.M.K.Selim｝等人，Lect。注释计算。科学。857113-129（2014年；兹比尔1423.68291）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件