{“id”：“https://openalex.org/W3213441457“，”doi“：”https://doi.org/10.1007/978-3-030-90870-6_4“，”title“：”WebAssembly 1.0的两种机制“，”display_name“：”Web Assembly1.0的两个机制“，“publication_year”：2021，”publication_date“：”2021-01-01“，”ids“：{”openalex“：”https://openalex.org/W3213441457“，”doi“：”https://doi.org/10.1007/978-3-030-90870-6_4“，”mag“：”3213441457“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-90870-6_4“，”pdf_url“：空，”源“：{”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“，”Spring er Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”preprint“，”type_crossref“：“book-chapter”，“indexed_in”：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oaurl”（_U）：“https://hal.science/hal-03353748v1/file/FM2021.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5060197721“，”display_name“：”Conrad Watt“，”orcid“：”https://orcid.org/0000-0002-0596-877X}，“机构”：[{“id”：https://openalex.org/I241749“，”display_name“：”剑桥大学“，”ror“：”https://ror.org/013meh722“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I241749“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Conrad Watt“，”raw _affiliation_strings“：[]，”从属关系“：[]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5085572145“，”display_name“：”肖家饶“，”兽人“：”https://orcid.org/0009-0008-4391-1214“｝，”机构“：[｛”id“：”https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”countries“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Xiaojia Rao“，”raw _ afiliation_strings“：【”英国伦敦帝国理工学院“】，”affiliations“：[{”raw_ afiliation _string“：”英国伦敦皇家理工学院”，“institution_ids”：[“https://openalex.org/I47508984“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5027766872“，”display_name“：”Jean Pichon-Pharabod“，”orcid“：”https://orcid.org/0000-0002-4442-6543}，“机构”：[{“id”：https://openalex.org/I241749“，”display_name“：”剑桥大学“，”ror“：”https://ror.org/013meh722“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I241749“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Jean Pichon-Pharabod“，”raw_affiliation_strings“：[]，”从属关系“：[]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5046395197“，”display_name“：”Martin Bodin“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}，{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}]，”countries“：[”FR“，”GB“]，”is_corresponding“：false，”raw_author_name“：”Martin Bodin“，”raw _affiliation_strings“：【”英国伦敦帝国理工学院“，”Inria，Rocquencourt，France“】，”affiliations“：[{”raw _affiliation_string“：”英国伦敦皇家学院“，“institution_ids”：【”https://openalex.org/I47508984“]}，｛”raw_affiation_string“：”Inria，Rocquecourt，France“，”institution_ids“：[”https://openalex.org/I1326498283“]}]}，{”author_position“：”last“，”author“：{”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“：[]，”从属关系“：[]}]，”countries _distiction_count“：2，”institutions_disticont_count”：3，”corresponding_author_ids“：[[]，”correcponding_institution_ids ed_by_count“：5，”cited_by_percentile_year“：{“min”：82，“max”：84}，“biblio”：{”volume“：null，”issue“：nul，”first_page“：”61“，”last_page“：”79“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9962，”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.9962，”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.995，”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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9659，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”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/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.495522}]，”concepts“：[{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.8547979}，{”id“：”https://openalex.org/C17435882，“wikidata”：https://www.wikidata.org/wiki/Q17030435“，”display_name“：”HOL“，”level“：2，”score“：0.8091118}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.75327337}，{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.7205267}，{”id“：”https://openalex.org/C160145156，“wikidata”：https://www.wikidata.org/wiki/Q778586“，”display_name“：”Executable“，”level“：2，”score“：0.6878145}，{”id“：”https://openalex.org/C122783720，“wikidata”：https://www.wikidata.org/wiki/Q183065“，”display_name“：”口译员“，”level“：2，”score“：0.5838384}，{”id“：”https://openalex.org/C146499014，“wikidata”：https://www.wikidata.org/wiki/Q5469969“，”display_name“：”形式语义（语言学）“，”level“：2，”score“：0.43131283}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”Semantics（computer science）“，”level“：2，”score“：0.424491}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-90870-6_4“，”pdf_url“：空，”源“：{”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”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-03353748，“pdf_url”：https://hal.science/hal-03353748v1/file/FM2021.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/1044/1/91431，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/91431/2/Watt2021Two.pdf，“源”：{“id”：https://openalex.org/S4306401396“，”display_name“：”Spiral（伦敦帝国理工学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I47508984“，”“host_organization_name”：“伦敦帝国理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I47508984“]，”host_organization_lineage_names“：[”Imperial College London“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-03353748，“pdf_url”：https://hal.science/hal-03353748v1/file/FM2021.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”display_name“：”素质教育“，”id“：”https://metadata.un.org/sdg/4“，”score“：0.56｝]，”grants“：[]，”dataset“：[]，”versions“：[]，”referenced_works_count“：29，”referenced_works“：[”https://openalex.org/W1544300973","https://openalex.org/W1553537175","https://openalex.org/W1727609483","https://openalex.org/W1896092679","https://openalex.org/W1980939032","https://openalex.org/W1988579293","https://openalex.org/W2003556922","https://openalex.org/W2006731094","https://openalex.org/W2023035194","https://openalex.org/W2048417351","https://openalex.org/W2052735108","https://openalex.org/W2082036516","https://openalex.org/W2117802778","https://openalex.org/W2130920933","https://openalex.org/W2414762192","https://openalex.org/W2479804030","https://openalex.org/W250432737","https://openalex.org/W2625141509","https://openalex.org/W2778960843","https://openalex.org/W2885626945","https://openalex.org/W2899983867","https://openalex.org/W2901454403","https://openalex.org/W3010249406","https://openalex.org/W3104549103","https://openalex.org/W3105116128","https://openalex.org/W3106373601","https://openalex.org/W3163573021","https://openalex.org/W4255006224","https://openalex.org/W867008410网址“]，”related_works“：[”https://openalex.org/W4283800065","https://openalex.org/W4221149318","https://openalex.org/W3208388410","https://openalex.org/W3158536649","https://openalex.org/W2730662181","https://openalex.org/W2339308944","https://openalex.org/W1905794102","https://openalex.org/W185714012","https://openalex.org/W1714698337","https://openalex.org/W1553537175“]，”ngrams_url“：”https://api.openalex.org/works/W3213441457/ngrams“，”“abstract_inverted_index”：{“WebAssembly”：[0,77,96]，“（Wasm）”：[1]，“is”：[2,30,35]，“a”：[3,39130160186]，“new”：[4]，“字节码”：[5]，“language”：[6126153]，“supported”：[7]，“by”：[8,59]，“all”：[9]，“major”：[10]，“Web”：[11]，“browsers，”：[12]，“designed”：[13]，“primary”：[14]，“to”：[15117123]，“be”：[16118]，“an”：[17,52171196]，“efficient”：[18]compilation“：[19]，”target“：[20]，”for“：[21]，”lovel“：[22]，”languages“：[23]，”such“：[24]，”as“：[25168182]，”C/C++“：[26]，”and“：[27105110121179]，”Rust。“：[28]，”It“：[29]，”inversal“：[31]，”in“：[32,48,56,64,81100]，”that“：[33,61]，”It“：[34]，”正式“：[36]，”specified“：[37]，”通过“：[38]，”形式“：[40112]，”语义。“：[41]，”安“：[42]，”首字母“：[43]，”草稿“：[44]，”规范“：[45,55]，”是“：[46,79]，”已发布“：[47,58,80125]，”2017“：[49]，”[]，“：[50]，”with“：[51]，”associated“：[P3]，”机械化“：[54,92]，”伊莎贝尔/HOL“：[57]，”瓦特“：[60]，”发现“：[62]，”错误“：[63]，”：[65,95124134146150165]，“原始”：[66,87]，“规范”：[67]，“固定”：[68]，“之前”：[69]，“其“：[70]，”出版物“：[71]，”[]。“：[72]，”第一“：[73]，”官方“：[74111]，”W3C“：[75]，”标准“：[76]，”1.0，“：[78]，”2019“：[82]，”[]。“：[83]，“建筑”：[84]，“关于”：[85]，“瓦特\u2019s”：[86]，“机械化”，：[88]，“我们”：[89]，“介绍”：[90]，“两个”：[91]，“规范”：[93]，“的”：[94133149152164170]，“1.0”：[97]，“语义”：[98]，“书面”：[99]，“不同”：[101]，“定理”：[102]，“证明人：”：“：[103]，“WasmCert-Isabell e“：[104158]，”WasmCert-Coq。“：[106]，”Wasm\u2019s“：[107]，”紧凑“：[108]，”设计“：[109]，”语义“：[113]，”启用“：[114]，”我们的“：[115]，”机械化“：[116]，”特别是“：[119]，”完成“：[120]，”关闭“：[122]，”标准。“：[127]，”We“：[128143]，”present“：[129]，”highlevel“：131]，”description“：[132]，”language\u2019s“：[135]，”updated“：[136]，”type“：137]，”soundness“：[138]，”result“：%139]，”reference“：[140]，”both“：[141]，”mechanisations“。“：[142]，”也“：[144]，”描述“：[145]，”当前“：[147]，”状态“：[148]，”机械化“：[151]，”特征“：[154]，”非“：[15194]，”先前“：[156]，”支持：“：[157]，”包括“：[159176]，”已验证“：[16173190]，”可执行“：[162172177]，”定义“：[163]，”实例化“：[166]，”阶段“：[167]，”部分“：[169]，”解释器；“：[174]，”WasmCert-Coq“：[175]，”解析“：[178]，”数字“：[180]，”定义“：[181]，”进行中“：[183]，”工作“：[184]，”朝向“：[185]，”更多“：[187]，”雄心勃勃“：[188]，”端到端“：[189]，”解释器“：[191]，”其中“：[192]，”does“：[193]，”需要“：[195]，”OCaml“：[197]，”线束“：[198]，“like”：[199]，“WasmCert-Isabelle。“：[200]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3213441457“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”cited_by_count”：3}，“{”年度“：2022，”citecd_by_count“：1}]，”更新日期“：”2024-06-16T05:07:42.470306“，”创建日期“：“2021-11-22”}