{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,8,6]]，“日期时间”：“2024-08-06T10:06:41Z”，“时间戳”：1722938801986}，“出版商位置”：“美国纽约州纽约市”，“引用计数”：0，“出版者”：“ACM出版社”，“内容域”：[]，“交叉标记限制”：false}，“短期集装箱运输”：[]，“published-print”：{“date-parts”：[[1987]]}，“DOI”：“10.1145\/41625.41628”，“type”：“proceedings-article”，“created”：{“date-ports”：[2003,6,2]，“date-time”：“2003-06-02T13:12:42Z”，“timestamp”：1054559562000}，”page“：”27-38“source”：”Crossref“，”is-referenced-by-count“：10，”title“：[”完整性和不完整性基于跟踪的网络证明系统“]，“prefix”：“10.1145”，“author”：[{“given”：“J.”，”family“：”Widom“，”sequence“：”first“，”affiliation“：[]}，{“fixed”：“D.”，“family”：“Gries”，“sequence”：“additional”，“affiliance”：[]{“给定”：“F.B.”，“家庭”：“Schneider”，“序列”：“附加”，“从属关系”：[]}]，“成员”：“320”，“事件”：{“编号”：“14”，“赞助商”：[“SIGPLAN，ACM编程语言特别兴趣小组”]，“缩写词”：“POPL’87”，“名称”：“第14届ACM SIGACT-SIGPLAN研讨会”，“开始”：{“日期部分”：[[1987,1,21]]}，“位置”：“西德慕尼黑”，“结束”：{“日期部分“：[[1897,1,23]]}}，”container-title“：[“第十四届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集-POPL’87”]，“original-title”：[]，“link”：[{“URL”：“http://\/dl.ACM.org\/ft_gateway.cfm？id=41628&ftid=13428&dwn=1”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2016,12,15]]，“date-time”：“2016-12-15T17:50:20Z”，“timestamp”：1481824220000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/portal.acm.org\/citation.cfm？doid=41625.41628”}}，”subtitle“：[]，”procesedings-subject“：”编程语言原理“，”shorttitle“：[]，”issued“：{”date-parts“：[[1987]]}”，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.1145\/41625.41628”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[1987]]}}