{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2023,1,9]]，“日期-时间”：“2023-01-09T23:52:55Z”，“时间戳”：1673308375093}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：0，“发布商”：“ACM出版社”，“内容-域”：[]，“交叉标记-限制”：false}，“短期集装箱运输”：[]，“published-print”：{“date-parts”：[[1987]]}，“DOI”：“10.1145\/41625.41636”，“type”：“proceedings-article”，“created”：{“date-ports”：[2003,6,2]，“date-time”：“2003-06-02T13:12:42Z”，“timestamp”：1054559562000}，”source“Crossref”，“is-referenced-by-count”：6，“title”：[“严格分析和指称抽象解释”]，“前缀”：“10.1145”，“作者”：[{“given”：“F.”，“family”：“Nielson”，“sequence”：“first”，“affiliation”：[]}]，“member”：“320”，“event”：{“name”：“the 14th ACM SIGACT-SIGPLAN研讨会”，“location”：“Munich，West Germany”，“缩写词”：“POPL’87”，“number”：”14“赞助商”：[“SIGPLAN，ACM Special Interest Group on Programming Languages”]，“start”：{“date-parts”：[[1987,1,21]]}，“end”：{“日期部分”：[[1987,1,23]]}}，“container-title”：[“第十四届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集-POPL’87”]，“原始标题”：[]，“链接”：[{“URL”：“http://\dl.ACM.org\/ft_gateway.cfm？id=41636&ftid=13852&dwn=1”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“deposed”：{“date-parts”：[[2016,12,15]]，“date-time”：“2016-12-15T15:18:40Z”，“timestamp”：148181512000}，“score”：1，“resource”：{primary“：{”URL“：”http:\\/portal.acm.org\\citation.cfm？doid=41625.41636：“http://\/dx.doi.org\/10.1145\/41625.41636”，“关系”：{}，“主题”：[]，“已发布”：{“日期部分”：[[1987]]}}