{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,3,20]]，“日期-时间”：“2024-03-20T11:56:06Z”，“时间戳”：1710935766920}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：0，“发布商”：“ACM出版社”，“内容-域”：[]，“交叉标记-限制”：false}，“短集装箱”：[]，“published-print”：{“date-parts”：[[1983]]}，“DOI”：“10.1145\/567067.567073”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2003,6,2]，“date-time”：“2003-06-02T17:12:42Z”，“timestamp”：1054573962000}，”source“Crossref”，“is-referenced-by-count”：53，“title”：[“验证链接结构的可达不变量”]，“前缀：“10.1145”，“作者”：[{“given”：“Greg”，“family”：“Nelson”，“sequence”：“first”，“affiliation”：[]}]，“member”：“320”，“event”：{“name”：“第十届ACM SIGACT-SIGPLAN研讨会”，“location”：“Austin，Texas”，“缩写词”：“POPL’83”，“number”：”10“赞助商”：[“SIGPLAN，ACM编程语言特别兴趣小组”，“SIGACT，ACM算法和计算理论特别兴趣小组”]，“start”：{“date-parts”：[[1983,1,24]]}，“end”：{“date-parts”：[[1983,1,26]]}}，”container-title“：[“第十届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集-POPL'83”]，”original-title”：[]，“link”：[{“URL”：“http://dl.ACM.org\/ft_gateway.cfm？id=567073&ftid=83201&dwn=1“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2016,12,16]]，”date-time“：“2016-12-16T04:16:53Z”，”timestamp“：1481861813000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://portal.acm.org引文.cfm？doid=560 7067.567073“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[1983]]}，”references-count“：0，”URL“：”http://\/dx.doi.org\/10.1145\/567067.567073“，”relation“：{}，“subject”：[]“published”：{“date-part”：[[1983]}}}}