{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,4]，“日期时间”：“2022-04-04T22:03:40Z”，“时间戳”：1649109820100}，“出版商位置”：“查姆”，“参考计数”：4，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783319216898”，“类型”：”打印“}，{“值”：“9783319216904”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2015,1,1]]，“date-time”：“2015-01-01T00:00:00Z”，“timestamp”：1420070400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}，{“start”：{“date-ports”：[2015,1,1]]，:00Z“，”timestamp“：1420070400000}，”content-version“：”tdm“，“delay-in-days”：0，“URL”：“http://www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2015]]}，”DOI“：”10.1007\/978-3319-21690-4_1“，”type“：”book-capter“，”created“：{”date-part“：[2015]}，7,15]]，“日期时间”：“2015-07-15T06:08:27Z”，“时间戳”：1436940507000}，“页面”：“3-10”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：0，”title“：[“JavaScript可信的机械化规范：一年启用”]，“前缀”：“10.1007”、“作者”：[{“given”：“Philippa”，“family”：“Gardner”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Gareth”，“family”：“Smith”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Conrad”，“家族”：“Watt”，“sequence”:“additionable”，“abfiliation（从属）”：[]}“：”1_CR1“，”doi-asserted-by“：”crossref“，“非结构化”：“Bodin，M.，Chargu\u00e9raud，A.，Filiaretti，D.，Gardner，P.，Maffeis，S.，Naud\u017ei\u016bnien\u0117，D.，Schmitt，A.，Smith，G.：可信的机械化javascript规范。摘自：第41届ACM SIGPLAN-SIGACT编程语言原则研讨会论文集。POPL 2014，ACM（2014）”，“DOI”：“10.1145\/2535838.2535876”}，{“key”：“1_CR2”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：：“41”，“doi”：“10.1007\/978-3642-37036-6_3”，《volume-title》：“Programming Languages and Systems”，“author”：“A Chargu\u00e9raud”，”年份“2013”，“unstructured”：“Chargu\u00e9raud，A.：相当大的步骤语义。摘自：Felleisen，M.，Gardner，P.（eds.）ESOP 2013。LNCS，第7792卷，第41\u201360页。Springer，Heidelberg（2013）“}，{”key“：”1_CR3“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first page“：“307”，”doi“：”10.1007\/978-3-540-89330-1_22“，”volume-title“：“Programming Languages and Systems”，“author”：“S Maffeis”，“year”：“2008”，“unstructured”：“Maffeis，S.，Mitchell，J.C.，Taly，A.：javascript的操作语义。在：Ramalingam，G.（编辑）APLAS 2008。LNCS，第5356卷，第307\u2013325页。Springer，Heidelberg（2008）“}，{“key”：“1_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Park，D.，\u015etef\u0103nescu，A.，Ro\u0155u，G.：KJS:javascript的完整形式语义。摘自：第36届ACM SIGPLAN编程语言设计与实现会议论文集。PLDI 2015，第428\u2013438页。ACM（2015）“，”DOI“：”10.1145\/2737924.2737991“}]，”container-title“：[”计算机辅助验证“，”计算机科学课堂讲稿“]，”原文标题“：[]，”链接“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3319-21690-4_1“，”内容类型“：”未指定“，”content-version“：”vor“，”intended-application“：”相似性检查“}]”，“存放“：{“date-parts”：[[2019,7,23]]，“date-time”：“2019-07-23T00:03:36Z”，“timestamp”：1563840216000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\link.springer.com/10.1007\/978-3-319-21690-4_1“}}，”副标题“：[]，”短标题“：[]，“issued”：{“date-ports”：[2015]]}，《ISBN》：[“978383]319216898“，”9783319216904“]，”references-count“：4，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-319-21690-4_1“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“”，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2015】】}，“assertion”：【{“value”：“7月16日2015年“，”订单“：1，”名称“：”first_online“，”标签“：”first online“，“group”：{“name”：“章节历史“，”标签“：”章节历史“}}]}}