{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,1,29]]，“日期时间”：“2024-01-29T16:04:19Z”，“时间戳”：1706544259240}，“发布者位置”：“查姆”，“引用计数”：33，“出版商”：“斯普林格自然瑞士”，“isbn-type”：[{“值”：“9783031223075”，“类型”：”打印“}，{“值”：“9783031223082”，“类型”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springernature.com\/gp\/searners\/text-and-data-mining”}1-01T00:00:00Z“，”时间戳“：1640995200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\\/www.springernature.com//gp\/researters\/text-and-data-mining”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[2022]}，”DOI“：”10.1007\/978-3031-22308-2_16“，“type”：“book-chapter”，“created”用法：{“date-parts”：[[2022,12,1]]，“date-time”：“2022-12-01T19:55:03Z”，“timestamp”：1669924503000}，“page”：“350-371”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：5，“title”：[“u00a0Kleene Algebra上的本地完整性逻辑与\u00a0测试”]，“前缀“：”10.1007“，”作者“：[{”ORCID“：“http://\/orcid.org\/00000-0002-6215-7359”，“authenticated-orcid”：false，“given”：“Marco”，“family”：“Milanese”，“sequence”：“first”，“affiliation”：[]}，{“orcid”：“，”在线发布“：{“date-parts”：[[2022,12,2]]}，“reference”：[{“key”：“16_CR1”，“doi-asserted-by”：“publisher”、“unstructured”：“Anderson，C.J.，et al.：NetKAT:网络的语义基础。摘自：第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，第113\u2013126页。POPL 2014，ACM（2014）。https:\/\/doi.org\/10.1145\/2535838.2535862“，”doi“：”10.1145\/25358 38.253586“}，{”key“：”16_CR2“，”doi-asserted-by“：”publisher“，”unstructured“：”Beckett，R.，Greenberg，M.，Walker，D.：Temporal NetKAT。摘自：第37届ACM SIGPLAN编程语言设计与实现会议论文集，PLDI 2016，第386\u2013401页。ACM（2016）。https:\/\/doi.org\/10.1145\/2908080.2908108“，”doi“：”10.1145\/29080、2908108“}，{”key“：”16_CR3“，”doi-asserted-by“：”publisher“，”unstructured“：”Bruni、R.、Giacobazi、R.和Gori、R.，Garcia-Contreras、I.、Pavlovic、D.：抽象扩展性：关于不完全抽象解释的属性。Proc.ACM Program.Lang.4（POPL），28:1\u201328:28（2020）。https:\/\/doi.org\/10.1145\/3371096“，”doi“：”10.1145\/33710096“}，{”key“：”16_CR4“，”doi-asserted-by“：”publisher“，”unstructured“：”Bruni，R.，Giacobazzi，R.，Gori，R.、Ranzato，F.：局部完整抽象解释的逻辑。摘自：第36届ACM\/IEEE计算机科学逻辑研讨会论文集（LICS 2021），第1\u201313页。IEEE（2021）。https:\/\/doi.org\/10.109\/LICS52264.2021.9470608“，”doi“：”10.1109\/LICS 2264.2021.94700608“}，{“key”：“16_CR5”，“doi-asserted-by”：“publisher”，“unstructured”：“Bruni，R.、Giacobazzi，R.，Gori，R.和Ranzato，F.：抽象解释修复。摘自：第43届ACM SIGPLAN编程语言设计与实现国际会议论文集，第426\u2013441页。PLDI 2022，美国纽约州纽约市计算机协会（2022）。https:\/\/doi.org\/10.1145\/3519939.3523453“，”doi“：”10.1145\/35199939.35234.53“}，{“key”：“16_CR6”，“unstructured”：“Cohen，E.，Kozen，D.，Smith，F.：克莱恩代数与测试的复杂性。美国康奈尔大学技术代表（1996）。https:\//www.cs.connell.edu\/Kozen\/Papers\/ckat”}，“key“：”16_CR7“，”非结构化“：”Conway，J.：正则代数和有限机器。多佛出版社，查普曼和霍尔数学系列（2012）“}，{“key”：“16_CR8”，“doi-asserted-by”：“publisher”，“unstructured”：“库索，P.，库索，R.：抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型。摘自：第四届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集（POPL 1977），第238\u2013252页。ACM（1977年）。https:\/\/doi.org\/10.1145\/512950.512973“，”doi“：”10.1145\/512950.512973“}，{”key“：”16_CR9“，”doi-asserted-by“：”publisher“，”unstructured“：”Cousot，P.，Cousot R.：程序分析框架的系统设计。摘自：第六届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集（POPL 1979），第269\u2013282页。ACM（1979）。https:\/\/doi.org\/10.1145\/567752.5677778“，”doi“：”10.1145\/5677752.567778“}，{“问题”：“4”，“密钥”：“16_CR10”，“doi-asserted-by”：“发布者”，“首页”：“798”，“doi”：“10.1145\/1183278.1183285”，“卷”：“7”，“作者”：“J Desharnais”，“年份”：“2006”，“非结构化”：“Desharnais，J.，M\u00f6ller，B.，Struth，G.：带域的Kleene代数。ACM事务处理。计算。逻辑7（4），798\u2013833（2006）。https:\/\/doi.org\/10.1145\/1183278.1183285“，”journal-title“：”ACM Trans。计算。Logic“}，{”issue“：”2“，”key“：”16_CR11“，”doi-asserted-by“：”publisher“，”first page“：“194”，“doi”：“10.1016\/0022-0000（79）90046-1”，“volume”：“18”，“author”：“MJ Fischer”，“year”：“1979”，“unstructured”：“Fischer，M.J.，Ladner，R.E.：常规程序的命题动态逻辑。J.Compute.Syst.Sci.18（2），194\u2013211（1979）https:\/\/doi.org\/10.1016\/0022-0000（79）90046-1“，”journal-title“：”J.Compute。系统。科学。“}，{”key“：”16_CR12“，”doi-asserted-by“：”publisher“，”unstructured“：”Foster，N.，Kozen，D.，Milano，M.，Silva，A.，Thompson，L.：NetKAT的联合决策程序。摘自：第42届ACM SIGPLAN-SIGACT编程语言原则研讨会论文集，POPL 2015，pp.343\u2013355。ACM（2015）。https:\/\/doi.org\/10.1145\/2676726.2677011“，“doi”：“10.1145\/267726.667011”}，{“问题”：“2”，“密钥”：“16_CR13”，“doi-asserted-by”：“发布者”，“首页”：“361”，“doi:“10.1145 \/333979.333989”，“卷”：“47”，“作者”：“R Giacobazzi”，“年份”：“2000”，“非结构化”：“Giacobasazzi，R.，Ranzato，F.，Scozzari，F.：完成抽象解释。ACM 47（2），361\u2013416（2000）。https:\/\/doi.org\/10.1145\/333979.333989“，”journal-title“：”J.ACM“}，{”key“：”16_CR14“，”doi-asserted-by“：”publisher“，”unstructured“：”Giacobazzi，R.，Logozzo，F.，Ranzato，F.：分析程序分析。摘自：第42届ACM SIGPLAN-SIGACT编程语言原则研讨会论文集，POPL 2015，pp.261\u2013273（2015）.https:\/\/doi.org\/10.1145\/2676726.2676987“，”doi“：”10.1145\/267726.6676987“}，{”key“：”16_CR15“，”doi-asserted-by“：”publisher“，”unstructured“：”Greenberg，M.，Beckett，R.，Campbell，E.：克莱恩代数模理论：具体KAT的框架。在：第43届ACM SIGPLAN国际编程语言设计与实现会议论文集，第594\u2013608页。PLDI 2022，计算机械协会，美国纽约州纽约市（2022）。https:\/\/doi.org\/10.1145\/3519939.3523722“，”doi“：”10.1145\/35199939.35223722“}，{”issue“：”10“，”key“：”16_CR16“，”doi-asserted-by“：”publisher“，”first page“：计算机编程.通用ACM 12（10），576\u2013580（1969）。https:\/\/doi.org\/10.1145\/363235.363259“，”journal-title“：”Commun。ACM“}，{”issue“：”3“，”key“：”16_CR17“，”doi-asserted-by“：”publisher“，”first page“：“427”，“doi”：“10.1145\/256167.256195”，“volume”：“19”，“author”：“D Kozen”，“year”：“1997”，“unstructured”：“Kozen，D.：带测试的Kleene代数。ACM Trans.Program.Lang.Syst.19（3），427\u2013443（1997）。https:\/\/doi.org\/10.10 145\/256167.256195“，”日志标题“：”ACM事务处理。程序。语言系统。“}，{”issue“：”1“，”key“：”16_CR18“，”doi-asserted-by“：”publisher“，”first-page“：”60“，”doi“：”10.1145\/343369.343378“，“volume”：“1”，”author“：”D Kozen“，”year“：”2000“，”unstructured“：”Kozen，D.：On Hoare logic and Kleene algebral with test.ACM Trans.Comput.logic 1（1），60\u201376（2000）.https:\\/doi.org\/10.1145\/343369.343378“，”日志标题“：”ACM事务处理。计算。Logic“}，{”key“：”16_CR19“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“244”，“doi”：“10.1007\/3-540-63172-0_43”，“volume-title”：“计算机科学逻辑”，“author”：“D Kozen”，“year”：“1997”，“unstructured”：“Kozen，D.，Smith，F.：带测试的Kleene代数：完备性和可判定性。作者：van Dalen，D.，Bezem，M.（编辑）CSL 1996。LNCS，第1258卷，第244\u2013259页。施普林格，海德堡（1997）。https:\/\/doi.org/10.1007\/3-540-663172-0_43“｝，｛“key”：“16_CR20”，“doi asserted by”：“publisher”，“unstructured”：“Le，Q.L.，Raad，A.，Villard，J.，Berdine，J.，Dreyer，D.，O\u2019Hearn，P.W.：在具有错误逻辑的大程序中发现真正的错误。美国计算机学会程序语言6（OOPSLA1）（2022）。https:\/\/doi.org/10.1145\/3527325”，“doi”：“10.1145\/3527325“}，{“key”：“16_CR21”，“doi-asserted-by”：“publisher”，“unstructured”：“Mamouras，K.：基于kleene代数的异常终止方程理论。摘自：《软件科学与计算结构基础第20届国际会议论文集》，FOSSACS 2017。《计算机科学讲义》，第10203卷，第88\u2013105页（2017年）。https:\/\/doi.org\/10.1007\/978-3662-54458-7_6“，”doi“：”10.1007\/9783-662-5448-7_6“}，{“key”：“16_CR22”，“doi-asserted-by”：“crossref”，“unstructured”：“Milanese，M.，Ranzato，F.：带测试的Kleene代数的局部完整性逻辑。arXiv e-prints arXiv:2205.08128（2022）”，“doi”：“10.1007\/978-3-031-22308-2_16”}，“key“：”16_CR23“，”series-title“：”计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“325”，“doi”：“10.1007\/978-3-030-88701-8_20”，“volume-title”：“计算机科学中的关系和代数方法”，“author”：“B M\u00f6ller”，“year”：“2021”，“unstructured”：“M\u00 f6lleR，B.，O\u2019Hearn，P.，Hoare，T.：关于程序正确性和错误性的代数。收录：Fahrenberg，U.，Gehrke，M.，Santocanale，L.，Winter，M.（编辑）RAMiCS 2021。LNCS，第13027卷，第325\u2013343页。查姆施普林格（2021）。https:\/\/doi.org\/10.1007\/978-3-030-88701-8_20“}，{”issue“：”2“，”key“：”16_CR24“，”doi-asserted-by“：”publisher“，”first page“：“221”，”doi“：”10.1016\/j.tcs.2005.09.069“，”volume“：和部分正确性。Theor.Comput.Sci.351（2），221\u2013239（2006）。https:\/\/doi.org\/10.1016\/j.tcs.2005.09.069“，”journal-title“：”Theor。计算。科学。“}，{”key“：”16_CR25“，”doi-asserted-by“：”publisher“，”unstructured“：”O\u2019Hearn，P.W.：逻辑不正确。Proc.ACM Program.Lang.4（POPL），1\u201332（2020）。https:\/\/doi.org\/10.1145\/3371078“，”doi“：”10.1145\/33710078“}“，：“publisher”，“first page”：“81”，“doi”：“10.1007\/978-3-030-78946-6_5“，“volume-title”：“Graph Transformation”，“author”：“CM Poskitt”，“year”：“2021”，“unstructured”：“Poskitt，C.M.：图形程序逻辑错误。收录：Gadducci，F.，Kehrer，T.（编辑）ICGT 2021。LNCS，第12741卷，第81\u2013101页。查姆施普林格（2021）。https:\/\/doi.org\/10007\/978-3030-78946-6_5“}，{“key”：“16_CR27”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”225“，“doi”：“10.1007\/988-3030-53291-8_14”，“volume-title”：”计算机辅助验证“，“author”：“A Raad”，“year”：“2020”，“unstructured”：“Raad，A.，Berdine，J.，Dang，H.-H.，Dreyer，D.，O\u2019Hearn，P.，Villard，J.：关于缺陷存在的局部推理：错误分离逻辑。收录人：Lahiri，S.K.，Wang，C.（编辑）CAV 2020。LNCS，第12225卷，第225\u2013252页。查姆施普林格（2020）。https:\/\/doi.org\/10.1007\/978-3-030-53291-8_14“}，{“key”：“16_CR28”，“doi-asserted-by”：“publisher”，“unstructured”：“Raad，A.，Berdine，J.，Dreyer，D.，O\u2019Hearn，P.W.：并发错误分离逻辑。Proc.ACM Program.Lang.6（POPL），1\u201329（2022）。https:\//doi.org\/10.1145\/3498695”，“doi”：“10.1145”\/3498695“}，{”键“：”16_CR29“，”series-title“：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“15”，“doi”：“10.1007\/978-3642-35873-9_3”，《volume-title》：“验证、模型检查和抽象解释”，“author”：“F Ranzato”，“year”：“2013”，“unstructured”：“Ranzato，F.：到处都是完整的抽象。收录人：Giacobazzi，R.，Berdine，J.，Mastroeni，I.（编辑）VMCAI 2013。LNCS，第7737卷，第15\u201326页。斯普林格，海德堡（2013）。https:\/\/doi.org\/10.1007\/978-3642-35873-9_3“}，{“key”：“16_CR30”，“doi-asserted-by”：“publisher”，“unstructured”：“Smolka，S.，Eliopulos，S.A.，Foster，N.，Guha，A.：NetKAT的快速编译器。摘自：第20届ACM SIGPLAN函数式编程国际会议论文集，ICFP 2015，pp.328\u2013341。ACM（2015年）。https:\/\/doi.org/10.1145\/2784731.27784761“，”doi“：”10.1145\/2784731.27784761“｝，｛”key“：”16_CR31“，”doi asserted by“：”publisher“，”unstructured“：”Smolka，S.、Kumar，P.、Foster，N.、Kozen，D.、Silva，A.：Cantor遇到Scott：概率网络的语义基础。摘自：第44届ACM SIGPLAN编程语言原理研讨会论文集，第557\u2013571页。2017年POPL，ACM（2017）。https:\/\/doi.org\/10.1145\/3008837.3009843“，”doi“：”10.1145\/3009837.3009843”}，{“key”：“16_CR32”，“doi-asserted-by”：“publisher”，“unstructured”：“Yan，P.，Jiang，H.，Yu，N.：关于量子程序的错误逻辑。Proc.ACM Program.Lang.6（OOPSLA1）（2022）。https:\//doi.org\/10.145\/3527316”，“doi”：“10.1145\/3527316”27316“}，{”键“：”16_CR33“，”doi-asserted-by“：”publisher“，”unstructured“：”Zhang，C.，de Amorim，A.A.，Gaboardi，M.：关于不正确逻辑和Kleene代数的top和tests。程序。ACM计划。语言6（POPL），2013年1月30日（2022年）。https:\/\/doi.org\/10.1145\/3498690“，”doi“：”10.1145\/3498990“}]，”container-title“：[”静态分析“，”计算机科学讲义“]，”original-title”：[]，”link“：[{”URL“：”https:\//link.springer.com\/content\/pdf\/10.1007\/978-3-031-22308-2-16“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：“相似性检查”}]，“存放“：{“date-parts”：[[2023,3,15]]，“date-time”：“2023-03-15T02:32:39Z”，“timestamp”：1678847559000}，“score”：1，“resource”：{”primary“:{”URL“：”https:\/\/link.springer.com\/10007\/978-3-031-22308-2_16“}，”subtitle“：[]，”shorttitle“：[]，”issued“：31223075“，”9783031223082“]，“引用计数”：33，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-031-22308-2_16“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”值“：”0302-7743“”，”类型“：”打印“}，{”数值“：”1611-33049“，”类型”：“电子”}]，”主题“：[]，”已发布“：{”日期部分“：[2022]}，“断言”：[{”价值“：”2022年12月2日“，”订单“：1，”名称“：”first_online“，”标签“：”first online“，“group”：{“name“：”ChapterHistory“，”label“：”Chapter History”}}，{“value”：“SAS”，“order”：1，“name”：“conference_acrombit”，“label”：“conference缩写”，“group”：{“name”:“ConferenceInfo”，“table”：“Meeting Information”}，“value“：”International Static Analysis Symposium“，”order“：2，“namelabel“：“会议信息”｝｝，｛“value”：“Auckland”，“order”：3，“name”：“Conference_city”，“label”：“ConferenceCity”，“group”：｛“name”：“ConferenceInfo”，“label”：“ConferenceInformation”｝｝，｛“value”：“New Zealand”，“order”：4，“name”：“Conference_country”，“label”：“ConferenceCountry”，“group”：｛“name”：“ConferenceInfo”，“label”：“ConferenceInformation”｝，｛value“：”2022“，”order“：5，”name“：”conference_year“，”label“：”会议年份“，”group“：“：8，”名称“：”conference_end_date“，”label“：”会议结束日期“，”group“：{”name“：”ConferenceInfo“，“label”：”会议信息“}}，{“value”：“29”，“order”：9，“name”：“conference_number”，“lable”：“ConferenceNumber”，“group”：{“name”:“ConfernceInfo”，“”会议ID“，”组“：{“name”：“ConferenceInfo”，“label”：“会议信息”}}，{“value”：“http://\\www.staticanalysis.org//”，“order”：11，”名称“：”Conference_url“，”标签“：“会议url”，“group”：：{“名称”：ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“}}，{”value“：”EasyChair“，”order“：2，”name“：”conference_management_system“，”标签“：”会议管理系统“，”group“：value“：”43“，”order“：3，”name“：”number_of_submissions_sent_for_review“，”label“：”发送供审阅的提交数“，”group“：group“：{”name“：”ConfEventPeerReviewInformation“，”label“：”Peer Review Information（由会议组织者提供）“}}，{”value“：”0“，”order“：5，”name“:”number_of_short_papers_accepted“，”标签“：”接受的短文数“，”group“:{”名称“：”confEventPeer ReveewInformation”，“label”：“”同行评议信息（由会议组织者提供）“}}，{“value”：“42%-该值由等式“接受的全文数”/“发送供审阅的提交数*100”计算，然后四舍五入为整数。”，“order”：6，“name”：“acceptance_rate_of_Full_Papers”，“label”：“全文接受率”，“group”：{“name”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）}，{“value”：“6.1”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行审阅信息（由会议组织者提供）”}}，{”value“：”Yes“，”order“：9，“name“：”external_reviewers_involved“，”label“：”涉及的外部审阅者“，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}]}}