{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,10,22]]，“日期时间”：“2023-10-22T10:53:41Z”，“时间戳”：1697972021382}，“引用计数”：8，“发布者”：“IEEE”，“内容域”：{:“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[1977,9]]}，“DOI”：“10.1109\/sfcs.1977.5”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2008,7,31]]，“date-time”：“2008-07-31T11:45:51Z”，“timestamp”：1217504751000}，“source”：《Crossref》，“is-referenced-by-count”：40，“title”：[“高效的并行垃圾收集系统和ITS正确性证明”]，“prefix”：“101109”，“author”：[{“给定”：“H.T.”，”，“family”：“Kung”，“sequence”：“first”，“affiliation”：[]}，{“given”：“S.W.”，“family”：“Song”，”sequence“：“additional”，“filiation“：[]{”，“member”：“263”，“reference”：[{“key”：”ref4“，“author”：“Kung”，《year》：“1977”，“journal-title”：“并行垃圾收集系统的性能分析”}，}，“key“ref3”，”“first page“：”49“，”article-title“：“关于相信程序是正确的”，“卷”：“20”，“作者”：“格里斯”，“年份”：“0”，“日志标题”：“Comm ACM”}，{“key”：“ref6”，“首页”：“50”，“文章标题”：”多进程垃圾收集：并行主义的实践“，”作者“：”lamport“，”year“：”0“，”journal-title“：”Proc 1976国际并行处理会议“}，”{“密钥”：“ref5”，“author”：“knuth”，“year”：“0”，“journal-title”：“The Art of Computer Programming Vol 1 Fundamental Algorithms”}，{“key”：“ref8”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/360336.3603338“}，”{“key”：”ref7“，”doi-assert-by“：”publisher“，”doi:“10.1145\/361002.361005”}“，{”key“：”ref2“，”首页“：”57“，”author“gri”es”，“年份”：“0”，“新闻标题”：“语言层次和接口”}，{“key”：“ref1”，“first page”：”43“，”author“：”dijkstra“，”year“：”0“，”journal-title“：”语言层次和界面“}]，”event“：{“name”：“第18届计算机科学基础年会（sfcs 1977）”，“location”：“Providence，RI，USA”，“start”：{”date-parts“：[[1977,10,31]}，“end”：{“date-part”：[[177,11,2]]]}}，“container-title”：[“第十八届计算机科学基础年会（sfcs 1977）”]，“original-title“：[]，”link“：[{”URL“：”http://\/xplorestaging.ieee.org\/ielx5\/4567914\/45679 15\/04567934.pdf？arnumber=4567934“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2017,3,16]]，“日期时间”：“2017-03-16T10:59:42Z”，“时间戳”：1489661982000}，“分数”：1，“资源”：{“主要”：{“URL”：“http://\/ieeexplore.ieee.org\/document\/4567934\/”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[1977,9]]}，'引用计数“：8，”URL“http:”\/\/dx.doi.org\/10.109\/sfcs.1977.5“，”关系“：{}，”主题“：[]，”发布“：{“日期部分”：[[1977,9]]}}