{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2023,7,2]，“日期-时间”：“2023-07-02T05:49:06Z”，“时间戳”：1688276946391}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：0，“发布商”：“ACM出版社”，“内容-域”：[]，“交叉标记-限制”：false}“短期集装箱运输”：[]，“published-print”：{“date-parts”：[[1987]]}，“DOI”：“10.1145\/41625.41630”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2003,6,2]，“date-time”：“2003-06-02T13:12:42Z”，“timestamp”：1054559562000}，”source“Crossref”，“is-referenced-by-count”：15，“title”：[“并发逻辑编程语言CP:定义和操作语义”]，“prefix”：“10.1145”，“author”：[{“given”：“V.A.”，“family”：“Saraswat”，“sequence”：“first”，“affiliation”：[]}]，“member”：“320”，“event”：{“name”：“the 14th ACM SIGACT-SIGPLAN研讨会”，“location”：“Munich，West Germany”，“缩写词”：“POPL’87”，“number”：”14“supporter”：[“SIGPLAN，ACM编程语言特别兴趣小组”]，“start”：{“date-parts”：[[1987,1,21]]}，“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=41630&ftid=13430&dwn=1”，“content-type”：“unspecified”，“content-version”：“vor”（沃尔），“意向应用程序”：“相似性检查”}]，“存放”：{“日期部分”：[[2016,12,15]]，“日期时间”：“2016-12-15T17:50:24Z”，“时间戳”：1481824224000}，“分数”：1，“资源”：{-“主要”：{-URL”：“http://\/portal.acm.org\/citation.cfm？doid=41625.41630”}}，”副标题“：[]，”短标题“：[]，“发布”：{-date-parts“：[[1987]]}，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.1145\/41625.41630”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[1987]]}}