{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,29]]，“日期-时间”：“2024-04-29T18:29:25Z”，“时间戳”：1714415365597}，“参考-计数”：30，“出版商”：“IEEE”，“许可证”：[{“开始”：{'日期-部件“：[[2021,6,29]]]，”日期-时间“：”2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“vor”，“延迟天数”：0，“URL”：“https://ieeexplore.ieee.org/Xplorehelp\/downloads\/license-information\/ieee.html”｝，｛“开始”：｛“日期部分”：[[2021,6,29]]，“日期时间”：“2021-06-29T00:00:00Z”，“时间戳”：1624924800000｝，“内容版本”：“stm-asf”，“延迟天数”：0，“URL”：“https://doi.org/10.15223\/policy-029”｝，｛“开始”：｛“日期零件”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-037”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[2021,6,29]]}，“doi”：“10.1109\/lics52264.2021.9470608”，“类型”：“proceedings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，“source”：“Crossref”，“is-referenced-by-count”：20，“title”：[“局部完成抽象解释的逻辑”]，“prefix”：“10.1109”，”author“：[{”given“given”：”Roberto“，“family”：“Bruni“，”sequence“：”first“，“affiliation”：[]}，{“给定”：“Roberto”，“family”：“Giacobazzi”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Robert”，“家族”：“Gori”，“序列”：“附加的”，“从属关系”：[]}，}“giving”：“Francesco”，”family“：”Ranzato“，”sequence“：”additional“，”affiliation:[]}]，“member”：“263”，“reference”：[{“key”：”ref30“，”doi-asserted-by“publisher”“，”doi“：”10.1007\/978-3-540-24730-2_39“}，{“key”：“ref10”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-24690-6_12”}，{”key“：”ref11“，”doi-assert-by“：”publisher“，”doi“：”10.1145\/355604.361591“}，”{“key”：”ref12“，”doi-asserted-by“”：“publisher”，“doi”：“publisher”，“doi”：“10.1016\/j.jlamp.2019.100497”}，{“key”：“ref14”，“首页”：“173”，“article-title”：“图形重写的策略语言”，“author”：“fern\u00e1ndez”，“year”：“2011”，“journal-title“：”LOPSTR'11 LNCS 7225“}，{“key”：“ref15”，“doi-asserted-by”：“crossref”，“first-page”：“19”，“doi”：“10.1090\/psapm\/019\/0235771”“，”年份“：”1967“，”新闻标题“：“应用数学研讨会论文集”}，{“key”：“ref16”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2676726.2676987”}ref19“，”doi-asserted-by“：”publisher“，”doi“：“10.1145\/256167.256195”}，{“key”：“ref28”，“doi-asserted-by”：“publisher”，“doi”：“10.145\/3188720”}.，{”key“：”ref4“，”doi-assert-by“：”publisher“，”doi“：”10.1007\/978-3319-17524-9_1“}，”key：“ref27”，“author”：“competer”，“year”：“2020”，“journal-title”：“静态分析导论-抽象解释视角”}键“：”参考3“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3371096”}，{“key”：“ref6”，“doi-asserted-by”：”publisher“，”doi“：”10.1145\/512950.512973“}，“key“：”ref29“，”doi-assert-by“：”publiser“，“doi:”10.7551\/mitpress\/3054.001.0001“}；{“key”：”ref5“，”author“：”cousot“，”year“：”1978“，”journal-title“：”博士论文“}，{”key“：”ref8“，”doi-asserted-by“：”publisher“，”doi“：“10.1145\/2603088.2603165”}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，“doi”：“10.145\/567752.567778”}“，”“年份”：“2005年”，“新闻标题”：“Proc ESOP'05 LNCS 3444”}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/155090.155095”}，{“key”：“ref20”，“doi-asserted-by”：”publisher“，”doi“：”10.1145\/343369.3433378“}，}“key”：”ref22“，”doi-assert-by“：”publiser“，doi“：”10.1561\/2500000034“}，{”key“：”ref24“，”first page“：“10:1”，”article-title“：“不正确逻辑”，“卷”：“4”，“作者”：“o\u2019hearn”，“年份”：“2020”，“新闻标题”：“Proc ACM Program Lang”}，{“key”：“ref23”，“首页”：“13”，“文章标题”：”连续推理：衡量形式方法的影响“，“作者“：”o\u201 9hearn“，”年份“：”2018“新闻标题“：”Proc LICS'18“}，”{“密钥”：“ref26”，“doi-asserted”by“：”publisher“，”doi“：“10.1007\/978-3-540-24622-0_21”}，{“key”：“ref25”，“doi-asserted-by”：“publisher”，“doi”：“10.107\/978-300-53291-8_14”}]，“event”：{“name”：“2021年第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”：{“date-parts”：[2021,6,29]}，“end”：{date-parts:[2021,7,29]]]]}}，“集装箱标签”：[“2021年第36届ACM\/IEEE计算机科学逻辑年度研讨会（LICS）”]，“原标题”：[]，“链接”：[{“URL”：“http:\/\/exploresting.iee.org/ielx7\/9470497\/9470501\/094470608.pdf？arnumber=9470608”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用”：“相似性检查”}]，“存放”：{“日期部分”：[[2022,10]]，“date-time”：“2022-05-10T15:46:21Z”，“timestamp”：1652197581000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/9470608\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2021,6,29]}，‘references-count’：30，”URL“：”http://\/dx.doi.org \/10.109 \/lics52264.2021.9470608“，”关系“：{}，”主题“：[]，”发布“：{“日期部分”：[[2021,6,29]]}}