{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,6,28]]，“日期-时间”：“2022-06-28T12:46:41Z”，“时间戳”：1656420401719}，“引用-计数”：31，“发布者”：“IEEE”，“许可证”：[{“开始”：{'日期-部件“：[2020,10,1]]，”日期-时间“：”2020-10-01T00:00:00Z“，”timestamp“：1601510400000}，”content-version“：”vor“，“延迟天数”：0，“URL”：“https://ieeexplore.ieee.org/Xplorehelp\/downloads\/license-information\/ieee.html”｝，｛“开始”：｛“日期部分”：[[2020,10,1]]，“日期时间”：“2020-10-0100:00:00Z”，“时间戳”：1601510400000｝，“内容版本”：“stm-asf”，“延迟天数”：0，“URL”：“https://doi.org/10.15223\/policy-029”｝，｛“开始”：｛“日期部分”“：[[2020,10,1]]，“date-time”：“2020-10-01T00:00:00Z”，“timestamp”：1601510400000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-037”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”shortcontainer-title“：[]，”published-print“：{”date-parts“：[2020,10]}，“doi”：“10.1109\/iceccs51672.2020.00011”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2021,3,19]]，“date-time”：“2021-03-19T20:52:18Z”，“timestamp”：161618713800}，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“RL:a Language for Formal Engineering”]，“prefix”：“10.1109”，”author“：[{”given“Hadrien”，“family”：“Bride”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“金松”，“家庭”：“Dong”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Zhe”，“family”：“Hou”，“serquence”:“additionable”，“atfiliation“：[]{”given“：”Brendan“，”family“：”Mahony“，”sequence“：”additional“key”：“ref31”，“doi-asserted-by”：“publisher”，“DOI”：“10.1145\/181577.181580”}，{“key”：“ref30”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1109\/85.23839“}，}“key:”ref10“，”DOI-assert-by“：”publisher“，”DOI“：”10.1145\/362685“}）80029-7“}，{“key”：“ref12”，“first-page”：“253”，“year”：“2002”，“journal-title”：“计算逻辑逻辑编程及其以外”}，{“key”：“ref13”，“首页”：“41”，“article-title”：“N-quads:用上下文扩展N-triples”，“author”：“cyganiak”，“year”：“2008”，“journal-title“：”W3C Recommendation“}，”{“key”：”ref14“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-19-21401-6_26“}“：”publisher“，“DOI”：“10.1007\/978-1-4613-8177-8_2”}，{“key”：“ref16”，“DOI-asserted-by”：“publisher”，“DOI:”10.2307\/3029479“}，}“key:”ref17“，”DOI-assert-by“：”publisher“，”DOI“：”10.1007\/3-540-48443-4_3“}”，{”key“：”ref18“，”author“：”gorelik“，“year”：“2001”，“journal-title”：“嵌套关系数据模型”}，{“key”：“ref19”，“article-title”：“Shuffle代数、李代数和量子群”，“author”：“green”，“year”：“1995”，“journal-title”：“哥印布拉大学部教材”}，{“key”：“ref28”，“年份”：“2012”，“日记标题”：“国防能力发展手册”}：“The coq proof assistant reference manual”，“volume”：“6”，“author”：“baras”，“year”：“1999”，“journal-title”：“INRIA version”}，{“key”：”ref27“，“author”：“massalin”，”year“：”1993“，”journal-title“：Synthesis An efficificient implementation of basic system services”}，{“key”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/355592.365646”}，{“密钥”：“ref29”，“doi-asserte-by”：“publisher”，“DI:”10.1515\/9781400882007 publisher“，”doi“：”10.1007\/978-3-030-51054-1_22“}，{”key“：”ref7“，”doi-asserted-by“：“publisher”，“DOI”：“10.1007\/BFb0014565”}，{“key”：“ref2”，“DOI-asserted-by”：“publicher”，“DOI”：“101007\/3-540-57292-9_37”}、{“密钥”：“ref9”、“DOI-sserted-by“：”publisher“，”DOI“：”10.1016\/j.entcs.2008.06.051 CSAC.1996.569669“}，{“key”：“ref20”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1109\/ACSAC.2007.8”}，{“key”：“ref22”，“article-title”：“生成运行时代码的案例”，“author”：“keppel”，“year”：“1991”，“journal-title“：”计算机科学与工程系“}”，{”key：“ref21”，“article-title”：“定理证明中的元理论与反思：调查与批判”，“author”:“harrison”，“year”：”1995“，”journal-title“：“技术报告Citeser”}，{“key”：“ref24”，“author”：“lassila”，“year”：“1998”，“journal-title”：“Resource Description Framework（RDF）Model and Syntax Specification”}}，{“key”：“ref25”，“doi-asserted-by”：“publisher”，“doi”：“10.1146//annurev.cs.01.060186.001351”}]，“event”：{“name”：“2020年第25届国际复杂计算机系统工程会议（ICECCS）”，“location”：“Singapore”，“start”：{“date-parts”：[2020,10,28]]}，“end”：{date-parts“：[[2020,10,31]]}}，”container-title“：[“2020年第25届国际复杂计算机系统工程会议”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/9375908\/9376180\/093376200.pdf？arnumber=9376200”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2022,6,28]]，“日期时间”：“2022-06-28T00:26:30Z”，“时间戳”：1656375990000}，“分数”：1，“资源”：{“主要”：{“URL”：“https:\/\/ieeexplore.ieee.org\/document\/9376200\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2020,10]]}”，“references-count”：“31，”URL“http:\”\\/dx.doi.org\\10.1109\/iceccs51672.2020.00011“，”关系“：{}，”主题“：[]，“已发布”：{“日期部分”：[[2020,10]]}}