{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,8,6]]，“日期-时间”：“2024-08-06T10:06:47Z”，“时间戳”：1722938807624}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：0，“发布商”：“ACM出版社”，“内容-域”：[]，“交叉标记-限制”：false}，“短期集装箱运输”：[]，“published-print”：{“date-parts”：[[1987]]}，“DOI”：“10.1145\/41625.41638”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2003,6,2]，“date-time”：“2003-06-02T13:12:42Z”，“timestamp”：1054559562000}，”page“：”144-155“，”source“Crossref”，“is-referenced-by-count”：6，“title”：[“论严格性及其分析“]，”前缀“：”10.1145“，”作者“：[{”给定“：“T.-M.”，“family”：“Kuo”，“sequence”：“first”，“affiliation”：[]}，{“given”：“P.”，“家族”：“Mishra”，“sequence”:“additional”，“filiation“：[]2]，“member”：“320”，“event”：{“number”：“14”，“赞助商”：[“SIGPLAN，ACM编程语言特别兴趣小组”]，“缩写词”：“POPL’87”，“name”：“the 14th ACM SIGACT-SIGPLAN session”，“start”：{“日期部分”：[[1987,1,21]]}，“location”：“Munich，West Germany”，“end”：{“date-parts”：[[1897,1,23]]}}，”container-title“：[“第十四届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集-POPL’87”]，“original-title”：[]，“link”：[{“URL”：“http://\dl.ACM.org\/ft_gateway.cfm？id=41638&ftid=13854&dwn=1”，“content-type”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2016,12,15]]，“date-time”：“2016-12-15T15:18:44Z”，“timestamp”：1481815124000}，“score”：1，“resource”：{primary“URL”：“http://\/portal.acm.org\/citation.cfm？doid=41625.41638”}}，”subtitle“[]，“proceedings-subject”：“编程语言原理”，“shorttitle”：[]，“issued”：{“date-parts”：[[1987]]}，“references-count”：0，“URL”：“http://\/dx.doi.org \/10.1145\/41625.41638”，“relationship”：{}