{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,8,14]]，“日期-时间”：“2024-08-14T11:08:52Z”，“时间戳”：1723633732680}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：42，“发布商”：“ACM”，“内容-域”：[dl.ACM.org“]，”交叉标记-re striction“：true}，”short-container-title“（限制）：[]，“published-print”：{“date-parts”：[[2014,1,8]]}，“DOI”：“10.1145\/2535838.2535843”，“type”：“procedings-article”，“created”：{“date-parts”：[2014,1,14]]，“date-time”：“2014-01-14T13:40:06Z”，“timestamp”：1389706806000}，”update-policy“：”http://\/dx.DOI.org\/10.1145\/crossmark-policy“，”source“：“Crossref”，“is-referenced-by-count”：35，“title”：[“一般线性循环的抽象加速”]，“前缀”：“10.1145”，“作者”：[{“given”：“Bertrand”，“family”：“Jeannet”，“sequence”：“first”，“affiliation”：[}“name”：“INRIA，Grenoble，France”}]}，{“given”:“Peter”，“家族”：“Schrammel”，“序列”：“additional”，“从属关系”：[[{”name“：“University of Oxford，United Kingdom”}]{“fixed”：“Sriram”，“family”：“Sankaranarayanan”，“sequence”：“additional”，“affiliation”：[{“name”：“University of Colorado，Boulder，CO，USA”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2014,1,8]}，“reference”：[}“key”：“e_1_3_2_1_1_1_1”，“series-title”：“LNCS”，“first page”：”117“，”volume-title“SAS”，“author”：“Alias C.”，“year”：“2010年”，“非结构化”：“C.Alias，A。Darte、P.Feautrier和L.Gonnord。流程图程序的多维排名、程序终止和复杂性边界。在SAS中，LNCS第6337卷，第117-133页，2010年。C.Alias、A.Darte、P.Feautrier和L.Gonnord。流程图程序的多维排名、程序终止和复杂性界限。在SAS中，LNCS第6337卷，第117-133页，2010年。publisher“，”doi“：”10.1145\/781131.781153“}，{“key”：“e_1_3_2_2_5_1”，“series-title“：“LNCS”，“volume-title”：“CAV”，“author”：“Boigelot B.”，“year”：“1996”，“unstructured”：“B.Boigelop and P.Godefroid”。使用QDD对具有无限状态空间的通信协议进行符号验证。在CAV中，LNCS第1102卷，1996年7月。B.Boigelot和P.Godefroid。使用QDD对具有无限状态空间的通信协议进行符号验证。在CAV中，LNCS第1102卷，1996年7月。“}，{”key“：”e_1_3_2_2_6_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-11319-2-11”}，“key”：“e_1_ 3_2_7_1”，“doi-assert-by”：“publisher”，”doi“：”10.1007\/778-3-540-45069-6_39“}”，{publisher“，”doi“：”10.1145\/512760.512770“}，{“key”：“e_1_3_2_2_9_1”，“doi-asserted-by“：”publisher“，”doi“：”10.1145\/512760.512770“}，{“key”：“e_1_3_2_2_10_1”，“doi-assert-by”：“publisher”，”doi:“10.1007\/s10703-009-0089-6”}，}“密钥”：“e_1_3_2_11_1”，“doi-asserted-by”:“publishers”，“doi”：“10.1016\/j.entcs.2010.09.014”}，“series-title”：“LNCS”，“首页”：“33”，“卷标”：“ESOP”，“作者”：“Feret j.”，“年份”：“2004年”，“非结构化”：“J.Feret。数字滤波器的静态分析。在ESOP中，LNCS第2986卷，第33-48页，2004年。J.费雷特。数字滤波器的静态分析。在ESOP中，LNCS第2986卷，第33-48页，2004年。费雷特。数字滤波器的数字抽象域。在数字和符号抽象领域，2005.“}，{“key”：“e_1_3_2_14_1”，“series-title”：“LNCS”，“first page”：”145“，“volume-title”：”FSTTCS“，“author”：“Finkel A.”，“year”：“2002”，“unstructured”：“A.Finkel and J。勒鲁。如何编写Presburger加速：广播协议的应用程序。在FSTTCS中，LNCS第2556卷，第145-156页，2002年。A.Finkel和J.Leroux。如何编写Presburger加速：广播协议的应用程序。在FSTTCS中，LNCS第2556卷，第145-156页，2002年。Goubault、A.Taly和S.Zennou。通过关系域上的策略迭代进行静态分析。在ESOP中，LNCS，2007年第4421卷。“}，{”key“：”e_1_3_2_2_16_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/2392389.2392396”}，“key”：“e_1_3_2_17_1”，“doi-assert-by”：“publisher”，”doi“：”10.1016\/j.jsc.2011.12.048“}”，{“doi”：“10.1007\/11823230_10”}，{“key”：“e_1_3_2_2_19_1”，“doi-asserted-by”：“publisher“，”DOI“：”10.1007\/978-3642-02658-4_48“}，{“key”：“e_1_3_2_20_1”，“DOI-asserted-by”：“publisher”，”DOI:“10.1007\/978-3-642-04761-9_23”}，“key“：”e_1_ 3_2_2_21_1“，”DOI-assert-by“：”publisher“非结构化”：“B.Jeannet M.Argoud和G。拉里尔。INTERPROC程序间分析器。http:\/\/pop-art.inrialpes.fr\/interproc\/inteprocweb.cgi。B.Jeannet M.Argoud和G.Lalire。INTERPROC程序间分析器。http:\/\/pop-art.inrialpes.fr\/interproc\/inteprocweb.cgi。“}，{”key“：”e_1_3_2_23_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2535838.2535843”}，“key”：“e_1_ 3_2_24_1”，“doi-assert-by”：“publisher”，”doi“：”10.1007\/BF00290339“}”，{0“}，{”key“：”e_1_3_2_2_26_1“，”series-title“：”LNCS“，”首页“：”349“，”volume-title“：“CSR“，”author“：”Kov\u00e1cs L.“，”year“：”2008“，”unstructured“：”L.Kov\u 00e1cs.“。具有赋值的p-可解循环的不变量生成。在CSR中，LNCS第5010卷，第349-359页，2008年。L.Kov\u00e1cs公司。具有赋值的p-可解循环的不变生成。在CSR中，LNCS第5010卷，第349-359页，2008年《学术出版社》，1984年。P.Lancaster和M.Tismenetsky。矩阵理论（第二版）。学术出版社，1984年。“，“版本”：“2”}，{“key”：“e_1_3_2_29_1”，“doi-asserted-by”：“publisher”，”doi“：”10.5555\/832308.837141“}，”key“：”e_1_ 3_2_30_1“，”doi-assert-by“：”publisher“，“10.1007\/11513988_21”}，{“key”：“e_1_3_2_2_32_1”，“doi-asserted-by”：“publisher”，“DOI“：”10.1145\/1480881.1480899“}，{“key”：“e_1_3_2_33_1”，“DOI-asserted-by”：“publisher”，”DOI“:”10.1007\/0-387-32698-7_2“}”，{”key“：”e_1_ 3_2_34_1“，”DOI-assert-by“：”publisher“，“：”686“，”volume-title“：”CAV“，”author“：”Sankaranarayanan S.“，”year“：”2011“，”非结构化”：S.Sankaranarayanan和A.Tiwari。连续系统和混合系统的关系抽象。在CAV中，LNCS第6806卷，第686-702页。施普林格，2011年。S.Sankaranarayanan和A.Tiwari。连续系统和混合系统的关系抽象。在CAV中，LNCS第6806卷，第686-702页。Springer，2011.“}，{”key“：”e_1_3_2_2_36_1“，”series-title“：“LNCS”，“first page”：“53”，“volume-title”：“SAS”，“author”：“Sankaranarayanan S.”，“year”：“2004”，“unstructured”：“S.Sankaranayanan，H.B.Sipma，and Z.Manna。基于约束的线性关系分析。在SAS中，LNCS第3148卷，第53-68页，2004年。Sipma和Z.Manna。基于约束的线性关系分析。在SAS中，LNCS第3148卷，第53-68页，2004年。el和B。珍妮特。逻辑-数值抽象加速及其在数据流程序验证中的应用。在SAS中，LNCS第6887卷，第233-248页，2011年。P.Schrammel和B.Jeannet。逻辑-数值抽象加速及其在数据流程序验证中的应用。在SAS中，LNCS第6887卷，第233-248页，2011年。“，”第一页“：”514“，”卷标题“：”HSCC“，”作者“：”Tiwari A.“，”年份“：”2003“，”非结构化”：“A.蒂瓦里。线性系统的近似可达性。在HSCC中，LNCS第2623卷，第514-525页。斯普林格，2003年。线性系统的近似可达性。在HSCC中，LNCS第2623卷，第514-525页。Springer，2003.“}，{”key“：”e_1_3_2_2_42_1“，”doi-asserted-by“：”publisher“，“doi”：“10.23919\/ACC.2004.1383661”}]，“event”：{”name“：”POPL“14:第41届ACM SIGPLAN-SIGACT编程语言原理研讨会”，“location”：“San Diego California USA”，“缩写词”：“POPL‘14”，“supportor”：[”SIGPLAN ACM编程语言特别兴趣小组“，“SIGACT ACM算法和计算理论特别兴趣小组”]}，“container-title”：[“第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集”]，“原始标题”：[]，“链接”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2535838.2535843”，“content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”，“deposed”：{“date-parts”：[[2023,9,4]]，“date-time”：“2023-09-04T17:46:31Z”，“timestamp”：1693849591000}，“score”：1，“resource”：{primary“：”URL“https:\/\/dl.acm.org\/doi\/10.1145\/2535838.2535843”}}，”副标题“：[]，“短标题”：[]date-parts“：[[2014,1,8]]}，“references-count”：42，“alternative-id”：[“10.1145\/2535838.2535843”，“10.1145\/2535838”]，“URL”：“http://\/dx.doi.org\/10.1145\/25353838.2535844”，“relationship”：{“is-idential-to”：[{“id-type”：“doi”，“id”：“10.1145\\257855.2535843”，“asserted-by”：“object”}]}“主题”：[]，“发布”：{“日期部分”：[[2014,1,8]]}，“断言”：[{“值”：“2014-01-08“，”order“：2，”name“：”published“，”label“：”published“，”group“：{“name”：”publication_history“，”标签“：”publication history“}}]}}