{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“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”:“章节历史“,”标签“:”章节历史“}}]}}