{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,8,6]]，“日期时间”：“2024-08-06T10:06:53Z”，“时间戳”：1722938813567}，“发布者位置”：“美国纽约州纽约市”，“引用计数”：0，“发布商”：“ACM Press”，“内容域”：[]，“交叉标记限制”：false}，“短期集装箱运输”：[]，“published-print”：{“date-parts”：[[1987]]}，“DOI”：“10.1145\/41625.41644”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2003,6,2]，“date-time”：“2003-06-02T17:12:42Z”，“timestamp”：1054573962000}，”page“：”211-222“source”：”Crossref“，”is-referenced-by-count“：4，”title“：[”无电源并发的语义域“]，”前缀“：”10.1145“，“author”：[{“given”：“F.J.”，“family”：“Oles”，“sequence”：“first”，“affiliation”：[]}]，“member”：“320”，“event”：{“number”：”14“，“supposer”：[“SIGPLAN，ACM编程语言特别兴趣小组”]，“缩写词”：“POPL’87”，“name”：“第十四届ACM SIGACT-SIGPLAN研讨会”，“start”：{“date-parts”：[[1987,1,21]]}，“location”：“Munich，West Germany”，“结束”：{“date-parts”：[[1987,1,23]]}}，“container-title”：[“第十四届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集-POPL’87”]，“原始标题”：[]，“链接”：[{“URL”：“http://\dl.ACM.org\/ft_gateway.cfm？id=41644&ftid=13860&dwn=1”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部分”：[[2016,12,15]]，“日期-时间”：“2016-12-15T20:19:00Z”，“时间戳”：1481833140000}，“分数”：1，“资源”:{“主要”：{“URL”：“http://\/portal.acm.org\/citument.cfm？doid=41625.41644”}}，”副标题“：[]，”过程-主题“：”编程语言原理“，”短标题“：[]，”发布：{“日期部分”：[[1987]]}，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.1145\/41625.41644”，“relation”：{}，“subject”：[]，“published”：{“date-parts”：[[1987]]}}}