{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2022,3,30]]，“日期-时间”：“2022-03-30T02:37:21Z”，“时间戳”：1648607841906}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：0，“发布商”：“ACM出版社”，“内容-域”：[]，“交叉标记-限制”：false}，“短集装箱”：[]，“published-print”：{“date-parts”：[[1987]]}，“DOI”：“10.1145\/41625.41645”，“type”：“proceedings-article”，“created”：{“date-ports”：[2003,6,2]，“date-time”：“2003-06-02T17:12:42Z”，“timestamp”：1054573962000}，”source“Crossref”，“is-referenced-by-count”：18，“title”：[“类OCCAM语言实时指示语义的完全抽象“]，“prefix”：“10.1145”，“author”：[{“given”：“C.”，“family”：“Huizing”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“R.”，”family“：”Gerth“，”sequence“：”additional“，”affiliance“：[]neneneep，{”given“：”W.P.“，”faily“：“deRoever”，“序列”：“additional”，“abfiliation“：[]}]，”member“：”320“，“event”：{“name”：“the 14th ACM SIGAGAM CT-SIGPLAN研讨会“，”地点“：“西德慕尼黑”，“缩写词”：“POPL’87”，“数字”：“14”，“赞助商”：[“SIGPLAN，ACM编程语言特别兴趣小组”]，“开始”：{“日期部分”：[[1987,1,21]]}，“结束”：{“日期部分“：[[1897,1,23]]}}，”容器标签“：[“第十四届ACM SIGACT-SIGPLAN编程语言原则研讨会论文集-POPL‘87”]，”原文标题“：[]，“链接”：[{“URL”：“http://\/dl.acm.org\/ft_gateway.cfm？id=41645&ftid=13861&dwn=1”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“date-parts”：[[2016,12,15]]，“date-time”：“2016-12-15T20:19:02Z”，“时间戳”：1481833142000}，“分数”：1，“资源“：{”primary“:{”URL“：“http:\/\/portal.acm.org\/ccitation.cfm？doid=41625.41645”｝｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[1987]]｝，“引用次数”：0，“URL”：“http:\/\/dx.doi.org/10.1145\/41625.416445”，“关系”：｛｝，“主题”：[]，“已发布”：｛“日期部分”：[[1987]]｝｝｝