｛“状态”：“好”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,6,20]，“日期时间”：“2024-06-20T17:09:26Z”，“时间戳”：1718903366509｝，“发布者位置”：“美国纽约州纽约市”，“引用计数”：88，“发布者”：“ACM”，“许可证”：[｛“开始”：｛“日期部分”：[[2019,6,11]，“日期时间”：“2019-06-11T0:00Z”，“时间戳”：156021120000}，“content-version”：“vor”，“delay-in-days”：365，“URL”：“http://www.acm.org\/publications\/policys\/corpyright_policy#Background”}]，“funder”：[{“DOI”：“10.13039\/10000185”，“name”：“国防高级研究计划署”，“DOI-asserted-by”：“publisher”，”award“：[”FA8750-15-C-0082“]}，{“name”:“Eric and Wendy Schmidt Fund”}，“内容域”用法：{“domain”：[“dl.acm.org”]，“crossmark-restriction”：true}，“short-container-title”：[]，“published-print”：{”date-parts“：[[2018,6,11]]}，”DOI“：”10.1145\/319236.3192394“，”type“：”proceedings-article“，”created“：{（日期部分）：[[2018，6,12]，”date-time“：”2018-06-12T12:16:01Z“，”timestamp“：1528805761000}，“更新策略”：“http://\/dx.doi.org\/10.1145\/crossmark-policy”，“source”：“Crossref”，“is-referenced-by-count”：40，“title”：[“有界期望：概率程序的资源分析”]，“prefix”：“10.1145”，”author“：[{”given“：”Van Chan“，”family“：”Ngo“，“sequence”：“first”，“affiliation”：[{“name”：“Carnegie-Mellon University，USA”}]}，{“given”：”Quentin“，“family”：“Carbonneaux”，“sequence”：“additional”，“affiliation”：[{“name”：“Yale University，USA”}]}，{“given”：“Jan”，“family”：“Hoffmann”，”sequence“：”additional“，”affiliation:[{”name“：”Carnegie Mellon University of，USA“}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2018,6,11]}、“reference”：[}”key“e_3_2_1_1_1”，“”doi-asserted-by“：”publisher“，”doi“：“10.1007 \/978-3662-46681-0_6”}，{“key”：“e_1_3_2_2_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1007 \/978-3642-33125-1_27“}，}”key“：”e_1_ 3_2_2_3_1“，”unstructured“：”R.B.Ash和C.Dol\u00e9ans-Dade.2000。概率与测度理论。学术出版社。R.B.Ash和C.Dol00e9ans-Dade。2000.概率与测度理论。学术出版社。“}，{”key“：”e_1_3_2_2_4_1“，”doi-asserted-by“：”publisher“，“，”author“：”Avanzini Martin“，”year“：”2013“，”非结构化”：“Martin Avanzini和Georg Moser。2013 . 复杂性的组合框架。第24届国际重写技术与应用会议（RTA\u201913）。马丁·阿文齐尼（Martin Avanzini）和乔治·莫瑟（Georg Moser）。2013年，复杂性组合框架。第24届国际重写技术与应用会议（RTA\u201913）。“}，{”key“：”e_1_3_2_2_8_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/CSF.2014.36”}，“key”：“e_1_ 3_2_9_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/1480881.1480894“}”，{“key“:”e_3_2_10_1“、”unstructured“：”K.Batz B.L.Kaminski J.-P.Katoen和C.Matheja.2018。贝叶斯网络，我会给你采样多久？关于预期采样时间的程序分析视角。ArXiv电子版（2018年2月）。arX输入：cs。PL \/1802.10433出现在ESOP \u201918上。K.Batz B.L.Kaminski J.-P.Katoen和C.Matheja。2018年。O贝叶斯网络我会给你采样多久？关于预期采样时间的程序分析视角。ArXiv电子版（2018年2月）。arX输入：cs。PL\/1802.10433出现在ESOP\u201918上。，托马斯·A。Henzinger、Thibaud Hottelier和Laura Kov\u00e1cs。2010 . ABC：循环的代数界计算。在程序逻辑中。，人工智能和推理——第16国际。确认（LPAR\u201910）。R\u00e9gis Blanc、Thomas A.Henzinger、Thibaud Hottelier和Laura Kov\u00e 1cs。2010.ABC：循环的代数界计算。在程序逻辑中。，人工智能和推理-第16届国际会议（LPAR\u201910）。“｝，｛”key“：”e_1_3_2_13_1“，”doi由“：”publisher“断言，”doi“：”10.1145\/25944291.2594329“｝，｛”key“：”e_1_3_2_14_1“，”doi由“：”publisher“断言，”doi“：”10.1016\/j.jss.2014.06.005“｝，｛”key“：”e_1_3_2_15_1“，”volume title“：”整数程序的交替运行时和大小复杂性分析。第20期。工具和算法协商。对于Constr。和分析。系统（TACAS\u201914）”，“作者”：“Brockschmidt Marc”，“年份”：“2014年”，“非结构化”：“Marc Brockschmitt、Fabian Emmes、Stephan Falke、Carsten Fuhs和J\u00fcrgen Giesl。2014 . 整数程序的交替运行时和大小复杂性分析。第20届国际工具与算法大会。对于Constr。和分析。系统（TACAS\u201914）。马克·布罗克施密特（Marc Brockschmidt）、费比安·艾姆斯（Fabian Emmes）、斯蒂芬·福克（Stephan Falke）、卡斯滕·福斯（Carsten Fuhs）和杰夫伯格·吉斯尔（J\u00fcrgen Giesl）。2014.整数程序的交替运行时间和大小复杂性分析。第20届国际工具与算法大会。对于Constr。和分析。系统（TACAS\u201914）。“}，{”key“：”e_1_3_2_2_16_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/2594291.2594301”}，“key”：“e_1_ 3_2_17_1”，“volume-title”：“用Coq证明对象进行自动资源分析。在第29届国际计算机辅助验证会议（CAV\u201917）上，“author”：“Carbonneaux Quentin”，“year”：“2017”，“unstructured”：“”昆汀·卡本诺（Quentin Carbonneaux）、简·霍夫曼（Jan Hoffmann）、托马斯·雷普斯（Thomas Reps）和钟绍（Zhong Shao）。2017 . 具有Coq证明对象的自动资源分析。第29届国际计算机辅助验证会议（CAV\u201917）。昆汀·卡本诺（Quentin Carbonneaux）、简·霍夫曼（Jan Hoffmann）、托马斯·雷普斯（Thomas Reps）和钟绍（Zhong Shao）。2017.使用Coq证明对象进行自动资源分析。第29届国际计算机辅助验证会议（CAV\u201917）。“}，{”key“：”e_1_3_2_2_18_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/2737924.2737955”}，“key”：“e_1_ 3_2_19_1”，“doi-assert-by”：“publisher”，”doi“：”10.1007\/1126841_9“}201915）“，”作者“：”Cern\u00fd Pavol“，“年份”：“2015年”，“非结构化”：“Pavol Cern\u 00fd，Thomas A.Henzinger，Laura Kov\u 00e1cs，Arjun Radhakrishna，and Jakob Zwirchmayr。2015 . 最坏情况执行时间分析的段抽象。在第24届欧洲编程研讨会（ESOP\u201915）上。Pavol Cern\u00fd、Thomas A.Henzinger、Laura Kov\u00e1cs、Arjun Radhakrishna和Jakob Zwirchmayr。2015.最坏情况执行时间分析的细分抽象。第24届欧洲规划研讨会（ESOP\u201915）。“}，{”key“：”e_1_3_2_21_1“，”volume-title“：”计算机辅助验证（CAV\u201913）（计算机科学课堂讲稿）“，”author“：”Chakarov Aleksandar“，”unstructured“：”Aleksandar-Chakarov and Sriram Sankaranarayanan.2013。使用鞅的概率程序分析。在计算机辅助验证（CAV\u201913）（计算机科学讲义），第8044卷。SpringerVerlag。Aleksandar Chakarov和Sriram Sankaranarayanan。2013.使用鞅的概率程序分析。计算机辅助验证（CAV\u201913）（计算机科学讲义），第8044卷。SpringerVerlag。“}，{”key“：”e_1_3_2_22_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-319-10936-7_6“}”，{“key”：“e_1_ 3_2_23_1”，“doi-assert-by”：“crossref”，”unstructured“：”Arthur Chargu\u00e9raud和Fran\u00e 7ois Pottier.2015。有效Union-Find实现的正确性和摊销复杂性的机器检查验证。交互定理证明-第六届国际会议（ITP\u201915）。Arthur Chargu\u00e9 raud和Fran \u00e7 ois Pottier。2015年，对有效联合金融实施的正确性和摊销复杂性进行机器检查验证。交互定理证明-第六届国际会议（ITP\u201915）。“，”DOI“：”10.1007\/978-3-319-22102-1_9“}，{”key“：”e_1_3_2_2_24_1“，”volume-title“：”第28届国际会议（CAV\u201916）“，”author“：”Chatterjee Krishnendu“，”year“：”2016“，”unstructured“：”Krishnendu Chatterjee、Fu Hongfei和Amir Kafshdar Goharshady。2016 . 通过Positivestellensatz\u2019s对概率程序进行终止分析。计算机辅助验证-第28届国际会议（CAV\u201916）。Krishnendu Chatterjee、Fu Hongfei和Amir Kafshdar Goharshady。2016.Positivestellensatz\u2019s概率项目终止分析。计算机辅助验证-第28届国际会议（CAV\u201916）。“}，{”key“：”e_1_3_2_25_1“，”volume-title“：”Conf.（CAV\u201917）“，”author“：”Chatterjee Krishnendu“，”year“：”2017“，”unstructured“：”Krishnendu Chatterjie，Hungfei Fu，and Amir Kafshdar Goharshady.2017.递归程序的非多项式最坏情况分析.计算机辅助验证-第29届国际Conf . Krishnendu Chatterjee、Fu Hongfei和Amir Kafshdar Goharshady。2017年，递归程序的非多项式最坏情况分析。计算机辅助验证-第29届国际会议（CAV\u201917）。“}，{”key“：”e_1_3_2_26_1“，”volume-title“：”Conf.（CAV\u201917）“，”author“：”Chatterjee Krishnendu“，”year“：”2017“，”unstructured“：”Krishnendu Chatterjie，Fu Hongfei，and Aniket Murhekar.2017.Almost-Linear Expected-Runtime Bounds的自动递归分析.在计算机辅助验证中-第29届国际Conf . Krishnendu Chatterjee、Fu Hongfei和Aniket Murhekar。2017年，超线性预期时间界限的自动循环分析。计算机辅助验证-第29届国际会议（CAV\u201917）。“}，{”key“：”e_1_3_2_27_1“，”volume-title“：”增量计算复杂性的精化类型。第24届欧洲程序设计研讨会（ESOP\u201915）“，”author“：”\u00c7i\u00e7ek Ezgi“，“unstructured”：”Ezgi\u00c 7i\u 00e7ak“，Deepak Garg，and Umut A。阿卡尔。2015 . 增量计算复杂性的优化类型。第24届欧洲规划研讨会（ESOP\u201915）。Ezgi\u00c7i\u00e7ek、Deepak Garg和Umut A.Acar。2015年，增量计算复杂性的优化类型。第24届欧洲规划研讨会（ESOP\u201915）。“}，{”key“：”e_1_3_2_28_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-28869-2_9”}，“key”：“e_1_ 3_2_2_29_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/325694.325716“}8457“}，{”key“：”e_1_3_2_2_31_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/2784731.2784749“}，{“key”：“e_1_3_2_2_32_1”，“doi-asserted-by”：“crossref”，“unstructured”：“D.Dubhashi and A.Panconesi.2009。随机算法分析的度量集中。剑桥大学出版社（2009）。D.Dubhashi和A.Panconesi。2009年，《随机算法分析的度量集中》。剑桥大学出版社（2009）。“，”DOI“：”10.1017\/CBO9780511581274“}，{”key“：”e_1_3_2_33_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1109\/LICS.2005.39”}，“key”：“e_1_ 3_2_34_1”，“DOI-assert-by”：“publisher”，”DOI:“10.1145\/267676726.2677001”}publisher“，”DOI“：”10.1016\/0304-3975（91）90145-R“}，{“key”：“e_1_3_2_2_36_1”，“volume-title”：“编程语言与系统-第十二届亚洲研讨会（APLAS\u201914）。“，”author“：”Flores-Montoya Antonio“，”unstructured“：”Antonio Flores-Motoya and Reiner H\u00e4hnle。2014.使用成本方程对复杂项目进行资源分析。编程语言与系统-第十二届亚洲研讨会（APLAS\u201914）。安东尼奥·弗洛雷斯·蒙托亚（Antonio Flores-Montoya）和雷内尔·赫内尔（Reiner H\u00e4hnle）。2014.使用成本方程对复杂项目进行资源分析。编程语言与系统-第十二届亚洲研讨会（APLAS\u201914）。“}，{”key“：”e_1_3_2_2_37_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3-319-40229-1_37”}，“key”：“e_1_a_2_2_38_1”，“volume-title”：“CAV 2016，加拿大安大略省多伦多市，2016年7月17-23日，论文集，第一部分”，“author”：“Gehr Timon”，”unstructured“：”Timon Gehr，Sasa Misailovic，and Martin T.Vechev.2016。PSI：概率程序的精确符号推理。2016年7月17日至23日在加拿大安大略省多伦多举行的计算机辅助验证第28届国际会议上，Timon Gehr、Sasa Misailovic和Martin T.Vechev。2016年，PSI：概率程序的精确符号推断。在计算机辅助验证第28届国际会议上，2016年7月17日至23日，加拿大安大略省多伦多市，CAV 2016，Proceedings，Part I.“}，{”key“：”e_1_3_2_2_39_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2338965.2336773”}，“key”：“e_1_ 3_2_40_1”，“volume-title”：“概率机器学习和人工智能。Nature 521”，“author”：“Ghahramani Zoubin”，“年份”：“2015年”，“非结构化”：“Zoubin Ghahramini”。2015.概率机器学习和人工智能。《自然》521（2015）。邹宾·加拉马尼（Zoubin Ghahramani）。2015.概率机器学习和人工智能。《自然》521（2015）。“}，{”key“：”e_1_3_2_2_41_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2593882.2593900”}，“key”：“e_1_ 3_2_42_1”，“doi-assert-by”：“publisher”，”doi“：”10.1016\/j.peva.2013.11.004“}”，{。概率和随机过程。牛津大学出版社。G.Grimmet和D.Stirzaker。1992.概率和随机过程。牛津大学出版社。“}，{”key“：”e_1_3_2_2_44_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/507635.507666”}，“key”：“e_1_ 3_2_45_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/1480881.1480898“}}，{“键”：“e_1_3_2_2_47_1”，“doi-asserted-by”：“出版商”，“doi”：“10.1145\/1926385.1926427“}，{“key”：“e_1_3_2_2_48_1”，“doi-asserted-by”：“publisher”，”doi“：“10.1145\/2362389.2362393”}，“key“：”e_1_ 3_2_49_1“，”doi-assert-by“：”publisher“多项式潜力的摊销资源分析。在第19届欧洲程序设计研讨会（ESOP\u201910）中，“作者”：“霍夫曼-扬”，“年份”：“2010年”，“非结构化”：“扬-霍夫曼和马丁·霍夫曼。2010 . 多项式潜力的摊销资源分析。第19届欧洲规划研讨会（ESOP\u201910）。简·霍夫曼和马丁·霍夫曼。2010年，具有多项式潜力的摊销资源分析。第19届欧洲规划研讨会（ESOP\u201910）。“｝，｛”key“：”e_1_3_2_51_1“，”doi断言者“：”publisher“，”doi“：”10.1007\/11693024/3“｝，｛”key“：”e_1_3_2_52_1“，”doi断言者“：”crossref“，”unstructured“：”Jan Hoffmann and Zhong Shao 2015。基于类型的整数和数组摊销资源分析。J.功能。程序。(2015). 简·霍夫曼和钟绍。2015.基于类型的整数和数组摊销资源分析。J.功能。程序。(2015).“，”DOI“：”10.1017\\S0956796815000192“}，｛”key“：”e_1_3_2_53_1“，”publisher“断言的DOI，”DOI“：”10.1145\\604131.604148“}，｛”key“：”e_1_3_2_54_1“，”publisher“断言的DOI，”DOI“：”10.1007\\11693024_3“}，｛”key“：”e_1_3_2_55_1“，”crossref“断言的DOI，”非结构化“：”Martin Hofmann和Georg Moser 2014年。摊销资源分析和类型多项式解释。在重写和键入Lambda Calculi（RTA-TLCA；14）中。马丁·霍夫曼和乔治·莫瑟。2014.摊销资源分析和类型多项式解释。在重写和键入Lambda Calculi（RTA-TLCA；14）中。“，”DOI“：”10.1007\/978-3-319-08918-8_19“}，{”key“：”e_1_3_2_56_1“，”volume-title“：”术语重写系统的多元摊销资源分析。在第十三届国际类型Lambda演算与应用会议（TLCA\u201915）上，“作者”：“Hofmann Martin”，“年份”：“2015”，“非结构化”：“马丁·霍夫曼和乔治·莫瑟。2015 . 术语重写系统的多元摊销资源分析。在第13届类型Lambda微积分与应用国际会议（TLCA\u201915）上。马丁·霍夫曼和乔治·莫瑟。2015.术语改写系统的多元摊销资源分析。在第十三届国际Lambda类型演算与应用会议上（TLCA\u201915）。“}，{”key“：”e_1_3_2_2_57_1“，”doi-asserted-by“：”publisher“，1706299.1706327“}，{”key“：”e_1_3_2_2_60_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007 \/978-3-642-05089-3_23“}，{“key”：“e_1_3_2_2_61_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1007 \/978-3662-49498-1_15“}”，{”key“：”e_1_ 3_2_62_1“，”doi-assert-by“：”publisher“，“doi”：“10.1145 \/2933575.2934574”}，“key“:”e_3_2_63_1“”，“volume-title”：“Morgan”，作者“：”Katoen Joost-Pieter“，”year“：”2010“，”unstructured“：”Joost-Pieter Katoen、Annabelle McIver、Larissa Meinicke和Carroll C。摩根。2010 . 概率程序的线性变量生成：基于证明方法的自动支持。静态分析-第17届国际研讨会（SAS\u2019 10）。Joost-Pieter Katoen、Annabelle McIver、Larissa Meinicke和Carroll C.Morgan。2010.概率程序的线性Invariant生成：对基于证明的方法的自动支持。静态分析-第17届国际研讨会（SAS\u201910）。“}，{”key“：”e_1_3_2_2_64_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/3062341.3062373”}，“key”：“e_1_ 3_2_65_1”，“doi-assert-by”：“publisher”，”doi“：”10.1016\/0022-0000（81）90036-2“}”，{.22“}，{”键“：”e_1_3_2_2_67_1“，”doi-asserted-by“：”出版商“，”doi“：”10.1145\/2429069.2429090“}，{“key”：“e_1_3_2_2_68_1”，“volume-title”：“资源感知ML.第二届国际计算和演绎形式结构会议（FSCD\u201917）中的数组和引用”，“author”：“Lichtman Benjamin”，“year”：“2017”，“unstructured”：“本杰明·利希特曼（Benjamin Lichtman）和简·霍夫曼（Jan Hoffmann）。2017 . 第二届计算和演绎形式结构国际会议（FSCD\u201917）中资源感知ML的数组和参考。本杰明·利希特曼（Benjamin Lichtman）和简·霍夫曼（Jan Hoffmann）。2017年，第二届计算和演绎形式结构国际会议（FSCD\u201917）资源感知ML中的数组和参考。“}，{”key“：”e_1_3_2_2_69_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/3009837.3009874”}，“key”：“e_1_ 3_2_70_1”，“volume-title”：“概率系统的精化和证明（计算机科学专著）”，“author”：“McIver-Annabelle”，“unstructured”：“Annabelle McIver and Carroll Morgan.2004。概率系统的抽象、精炼和证明（计算机科学专著）。斯普林格·弗拉格。安娜贝拉·麦克维尔（Annabelle McIver）和卡罗尔·摩根（Carroll Morgan）。2004年，概率系统的抽象、精化和证明（计算机科学专著）。斯普林格·弗拉格。“}，{”key“：”e_1_3_2_2_71_1“，”volume-title“：”第十届欧洲程序设计研讨会（ESOP\u201901）“，”author“：”Monniaux David“，“year”：“2001”，“unstructured”：“David Monniaux.2001.概率程序的向后抽象解释.在编程语言和系统中，第十届欧盟程序设计研讨会 . 大卫·莫尼奥（David Monniaux）。2001.概率程序的反向抽象解释。《编程语言与系统》，第十届欧洲编程研讨会（ESOP\u201901）。“｝，｛”key“：”e_1_3_2_72_1“，”doi asserted by“：”publisher“，”doi“：”10.1016\/j.scico.2005.02.008“｝，｛”key“：”e_1_3_2_73_1“，”卷标题“：”有界期望：概率程序的资源分析.CoRR abs\/1711.08847“，”作者“：”Ngo Van Chan“，”年份“：”2017“，”非结构化“：”Van Chan Ngo、Quentin Carbonneaux和Jan Hoffmann。2017 . 有限期望：概率程序的资源分析。CoRR abs \/1711.08847（2017）。arXiv:1711.08847 http://\/arXiv.org\/abs\/1711.08847Van Chan Ngo、Quentin Carbonneaux和Jan Hoffmann。2017年，有限期望：概率项目的资源分析。CoRR abs \/1711.08847（2017）。arXiv:1711.08847 http://\/arXiv.org\/abs\/1711.08846“}，{“key”：“e_1_3_2_74_1”，“volume-title”：“用类型验证和合成常量资源实现。在第38届IEEE安全与隐私研讨会（S&P\u201917）上”，“author”：“Ngo Van Chan”，”年份“2017”，“unstructured”：“Van Chan Ngo、Mario Dehesa-Azuara、Matthew Fredrikson和Jan Hoffmann。2017 . 验证和综合具有类型的常量资源实现。第38届IEEE安全与隐私研讨会（S&P\u201917）。Van Chan Ngo、Mario Dehesa-Azuara、Matthew Fredrikson和Jan Hoffmann。2017.用类型验证和合成常量资源实现。在第38届IEEE安全与隐私研讨会（S&P\u201917）上。“}，{”key“：”e_1_3_2_2_75_1“，”volume-title“：”PSCV:概率系统C模型的运行时验证工具.J.of Software:Evolution and Process“，”author“：”Ngo Van Chan“，“year”：“2018”，”unstructured“：”Van Chan Ngo和Axel Legay。2018 . PSCV：概率系统C模型的运行时验证工具。《软件杂志：进化与过程》（2018）。Van Chan Ngo和Axel Legay。2018年。PSCV：概率系统C模型的运行时验证工具。《软件杂志：进化与过程》（2018）。“}，{”key“：”e_1_3_2_2_76_1“，”volume-title“：”PSCV：概率系统C模型的运行时验证工具。在第28届国际计算机辅助验证会议（CAV\u201916）上，“作者”：“Ngo Van Chan”，“年份”：“2016”，“非结构化”：“”Van Chan Ngo、Axel Legay和Vania Joloboff。2016 . PSCV：概率系统C模型的运行时验证工具。第28届国际计算机辅助验证会议（CAV\u201916）。Van Chan Ngo、Axel Legay和Vania Joloboff。2016年，PSCV：概率系统C模型的运行时验证工具。第28届国际计算机辅助验证会议（CAV\u201916）。“}，{”key“：”e_1_3_2_2_77_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/HASE.2016.24”}，“key”：“e_1_ 3_2_78_1”，“doi-assert-by”：“publisher”，”doi“：”10.1016\/0167-6423（87）90029-3“}”，{“，”author“：”Nipkow Tobias“，”unstructured“：”托比亚斯·尼普科。2015年，已验证摊销复杂性。交互定理证明-第六届国际会议（ITP\u201915）。托比亚斯·尼普科夫。2015年，已验证摊销复杂性。交互定理证明-第六届国际会议（ITP\u201915）。“}，{”key“：”e_1_3_2_2_80_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/s10817-013-9277-6”}，“key”：“e_1_ 3_2_81_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/2933575.2935317“}”，{“key“:”e_3_2_82_1“、”非结构化“：”Avi Pfeffer.2016。实用概率规划。曼宁。https:\/\/books.google.com\/books？id=qyfksgEACAAJ Avi Pfeffer公司。2016.实用概率规划。曼宁。https:\/\/books.google.com/books？id=qyfksgEACAAJ“}，{”key“：”e_1_3_2_2_83_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/2491956.2462179”}，“key”：“e_1_ 3_2_84_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145 \/2364527.2364575/978-3-319-08867-9_50“}，{“key”：“e_1_3_2_2_86_1”，“非结构化”：“CLP团队，2018年。CLP公司。https:\/\/projects.coin-or.org\/Clp。(2018). CLP团队。2018年CLP。https:\/\/projects.coin-or.org\/Clp。(2018).“}，{”key“：”e_1_3_2_2_88_1“，”volume-title“：”懒惰函数语言中基于类型的共递归分配分析。第24届欧洲程序设计研讨会（ESOP\u201915）“，”author“：”Vasconcelos Pedro B.“，”year“：”2015“，”unstructured“：”Pedro B。Vasconcelos、Steffen Jost、M\u00e1rio Florido和Kevin Hammond。2015 . 懒惰函数语言中基于类型的共递归分配分析。第24届欧洲规划研讨会（ESOP\u201915）。佩德罗·巴斯康塞洛斯（Pedro B.Vasconcelos）、斯特芬·约斯特（Steffen Jost）、弗洛里多（M\u00e1rio Florido）和凯文·哈蒙德（Kevin Hammond）。2015.懒惰函数语言中基于类型的共递归分配分析。第24届欧洲规划研讨会（ESOP\u201915）。“}，{”key“：”e_1_3_2_2_89_1“，”volume-title“：”强制程序的变大小抽象边界分析。第18届国际静态分析研讨会（SAS\u201911）“，”author“：”Zuleger Florian“，”year“：”2011“，”unstructured“：”Florian Zuleger、Moritz Sinn、Sumit Gulwani和Helmut Veith。2011 . 用变大小抽象法对强制程序进行边界分析。第18届国际静态分析交响曲。（SAS\u201911）。Florian Zuleger、Moritz Sinn、Sumit Gulwani和Helmut Veith。2011年，用规模变化抽象法对强制性项目进行约束分析。第18届国际静态分析交响曲。（SAS\u201911）。“}，{”key“：”e_1_3_2_2_90_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/3009837.3009858”}]，“event”：{”name“：”PLDI'18:ACM SIGPLAN Conference on Programming Language Design and Implementation“，”location“：”Philadelphia PA USA“，”首字母缩写词：“PLDI'18”，“赞助商”：[”SIGPLAN ACM Special Interest Group on Programmin Languages“]}，”container-title“：[”第39届ACM SIGPLAN编程语言设计与实现会议记录“]，“original-title”：[]，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/319236.3192394”，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“syndication”}，{“URL”：“https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/319266.3192394“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,9,4]，”date-time“：“2023-09-04T20:31:45Z”，”timestamp“：1693859505000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/dl.acm.org/doi\/10.1145\/319236.3192394“｝｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2018,6,11]}，“引用次数”：88，“替代id”：[“10.1145\/319236.3192394”，“10.1145\/3192366”]，“URL”：“http:\/\/dx.doi.org/10.1145\/319236.3192394”，“关系”：｛“与”相同：“id type”：“doi”，“id”：“10.1145\/3296979.3192394”，“断言者：“：”object“}]}，”subject“：[]，”published“：{”date-parts“：[[2018,6,11]]}