{“id”：“https://openalex.org/W1026566567“，”doi“：”https://doi.org/10.1007/978-3-319-21690-4_1“，”title“：”JavaScript可信的机械化规范：一年开“，”display_name“：”JavaScript可信的机器化规范：年开“、”publication_Year“：2015、”publiation_date“：”2015-01-01“，”ids“：{”openalex“：”https://openalex.org/W1026566567“，”doi“：”https://doi.org/10.1007/978-3-319-21690-4_1“，”mag“：”1026566567“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-319-21690-4_1，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-319-21690-4_1.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/978-3-319-21690-4_1.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Philippa Gardner“，”raw _affiliation_strings“：[“英国伦敦帝国理工学院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5084571865“，”display_name“：”Gareth D.Smith“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Gareth Smith“，”raw _affiliation_strings“：[“英国伦敦帝国理工学院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5060197721“，”display_name“：”Conrad Watt“，”orcid“：”https://orcid.org/0000-0002-0596-877X}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Conrad Watt“，”raw _affiliation_strings“：[“英国伦敦帝国理工学院”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5036056873“，”display_name“：”Thomas Wood“，”orcid“：”https://orcid.org/0000-0002-0482-2445}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Thomas Wood“，”raw _affiliation_strings“：[“英国伦敦帝国理工学院”]}]“countries_disticont_count”：1，”institutions_disticent_count“：1，“corresponding_author_ids”：[“https://openalex.org/A5036056873“]，”对应的机构ID“：[”https://openalex.org/I47508984“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{“value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：0，“ciped_by_percentile_year”：{“min”：0”，“max”：70}，biblio“：{”volume“：null，”issue“：nul，”first_page“：”3“，”last_page“：”10“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9975，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11241“，”display_name“：”Android恶意软件的特征描述和检测“，”score“：0.9898，”subfield“：{”id“：”https://openalex.org/subfields/1711“，”display_name“：”信号处理“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/model-checking（https://openalex.org/keywords/model-checking）“，”display_name“：”模型检查“，”score“：0.514025}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.86545414}，{”id“：”https://openalex.org/C54483334，“wikidata”：https://www.wikidata.org/wiki/Q2005“，”display_name“：”JavaScript“，”level“：2，”score“：0.80172396}，{”id“：”https://openalex.org/C122783720，“wikidata”：https://www.wikidata.org/wiki/Q183065“，”display_name“：”口译员“，”level“：2，”score“：0.62165415}，{”id“：”https://openalex.org/C151552104，“wikidata”：https://www.wikidata.org/wiki/Q7705809（网址：https://www.wikidata.org/wiki/Q7705809）“，”display_name“：”测试套件“，”level“：4，”score“：0.585128}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.58161247}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.51088446}，{”id“：”https://openalex.org/C79581498，“wikidata”：https://www.wikidata.org/wiki/Q1367530“，”display_name“：”Suite“，”level“：2，”score“：0.46450162}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.4508207}，{”id“：”https://openalex.org/C118643609，“wikidata”：https://www.wikidata.org/wiki/Q189210“，”display_name“：”Web应用程序“，”level“：2，”score“：0.4263587}，{”id“：”https://openalex.org/C136764020，“wikidata”：https://www.wikidata.org/wiki/Q466“，”display_name“：”万维网“，”级别“：1，”分数“：0.34714234｝，｛”id“：”https://openalex.org/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513“，”display_name“：”数据库“，”级别“：1，”分数“：0.34581432}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.27046874}，{”id“：”https://openalex.org/C128942645，“wikidata”：https://www.wikidata.org/wiki/Q1568346“，”display_name“：”测试用例“，”level“：3，”score“：0.19061276}，{”id“：”https://openalex.org/C152877465，“wikidata”：https://www.wikidata.org/wiki/Q208042“，”display_name“：”回归分析“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C166957645，“wikidata”：https://www.wikidata.org/wiki/Q23498“，”display_name“：”考古学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C95457728，“wikidata”：https://www.wikidata.org/wiki/Q309“，”display_name“：”History“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-319-21690-4_1，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-319-21690-4_1.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”系列丛书“｝，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-319-21690-4_1，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-319-21690-4_1.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”score“：0.45，”id“：”https://metadata.un.org/sdg/9“，”display_name“：”工业、创新和基础设施“}]，”拨款“：[]，”数据集“：[[]，”版本“：['，”referenced_works_count“：4，”referrenced_works“：[”https://openalex.org/W203501420网址","https://openalex.org/W2117802778","https://openalex.org/W2118431434","https://openalex.org/W3010249406“]，”related_works“：[”https://openalex.org/W4286287737","https://openalex.org/W3204955359","https://openalex.org/W3009852816","https://openalex.org/W2795601048","https://openalex.org/W2621177934","https://openalex.org/W2513223212","https://openalex.org/W2403324299","https://openalex.org/W2169602156","https://openalex.org/W1844100222","https://openalex.org/W1485837041“]，”ngrams_url“：”https://api.openalex.org/works/W102566567/ngrams“，”“abstract_inverted_index”：{“The”：[0]，“JSCert”：[1,29,58]，“project”：[2,18,77,86]，“prevides”：[3]，“a”：[4,22,32,37,48102105]，“Coq”：[5]，“mechanised”：[6]，“specification”：[7]，“of”：[8,16,75,84,93,98109131]，“The”：[9,17,41,62,72,76,810,85,91,99110132]，“core”：[10]，“JavaScript”：[11,42]，“语言”：[12]，“a”：[13]，“键”：[14]，“部分”：[15]，“是”：[19,52]，“to“：[20,35,57120128135]，”develop“：[21]，”methodology“：[23100]，”for“：[24]，”establing“：[25]，”trust“，”：[26]，”by“：[27,45]，”designing“：[28]，”in“：[30]，”suse“：[31]，”way“：[33]，”as“：[34101]，”provide“：36]，”strong“：[38]，”connection“：[3]9]，”with“：%40,55]，”standard，“：[43]，“和”：[44,59,80104134]，“开发”：[46]，“JSRef”：[47]，“引用”：[49]，“解释器“：[50]，”其中“：[51]，”证明“：[53]，”正确“：[54]，”尊重“：[56]，”测试“：[60]，”使用“：[61]，”标准“：[63]，”Test262“：[64]，”试验“：[65]，”套件。“：[66]，”In“：[67]，”this“：[68]，”paper“：[69]，”we“：%70]，”assessment“：[71]，”previous“：%73]，”state“：[74,83]，”at“：[78,87]，”POPL\u201914“：[79]，”current“：[82]，”CAV\u2011915“：[88]，”we“：+89112]，”evaluate“：[90]，”work“：/92116]，”POPL\u201 914，“：[94]，“提供”：[95]，“一个”：[96]，“分析”：[97108]，“整体”：[103]，“更多”：[106130137]，“详细”：[107]，“测试”。“：[1111138]，”也“：[113]，”描述“：[114]，”最近“：[115]，”开启“：[117]，”扩展“：[118]，”JSRef“：[119]，”包括“：[121]，”谷歌\u2019s“：[122]，”V8“：[123]，”数组“：[124]，”库“：[125]，”启用“：[126]，”我们“：[127]，”封面“：[129]，”语言“：[133]，”通过“：[136]}，”引用_by_ api url“：”https://api.openalex.org/works？filter=cites:W1026566567“，”counts_by_year“：[]，”updated_date“：”2024-06-07T11:42:56.641789“，”创建日期“：”2016-06-24“}