{“id”：“https://openalex.org/W2780323212“，”doi“：”https://doi.org/10.1145/3158138“，”title“：”JaVerT:JavaScript验证工具链“，”display_name“：”JaVerT:JavaScript验证工具链条“，”publication_year“：2017，”publiation_date“：”2017-12-27“，”ids“：{”openalex“：”https://openalex.org/W2780323212“，”doi“：”https://doi.org/10.1145/3158138“，”mag“：”2780323212“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3158138，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3158138？下载=true，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM关于编程语言的会议记录“，”issn_l“：”2475-1421“，”isn“：[”2475-1221“]，”is_oa“：true，”is.in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“青铜色”，“oa_url”：“”https://dl.acm.org/doi/pdf/10.1145/3158138？下载=true“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5061566620“，”display_name“：”Jos\u00e9 Augusto Rodrigues dos Santos“，”orcid“：”https://orcid.org/0000-0002-6628-1410}，“机构”：[{“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“：”Jos\u00e9 Fragoso Santos“，”raw _ afiliation_strings“：[“英国伦敦帝国理工学院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5067580631“，”display_name“：”Petar Maksimovi\u0107“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210123447“，”display_name“：”伦敦数学科学研究所“，”ror“：”https://ror.org/0390mzx53“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I4210123447“]}，{”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“：”Petar Maksimovi\u0107“，”raw_affiliation_strings“：[“英国伦敦帝国理工学院/塞尔维亚SASA数学研究所”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5057169116“，”display_name“：”Daiva Naud\u017ei\u016bnien\u0117“，”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“：”Daiva Naud\u017ei\u016bnien\u0117“，”raw _affiliation_strings“：[“英国伦敦帝国理工学院”]}，{“author_position”：“middle”，“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“：false，”raw_author_name“：”Thomas Wood“，”raw _affiliation_strings“：[“英国伦敦帝国理工学院”]}，{“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“]}]，”countries“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Philippa Gardner“，”raw _affiliation_strings“：【”英国伦敦帝国理工学院“】}]，“countries_distict_count”：1，“institutions_disticent_count”：2，“corresponding_author_ids”：[]，“corresponding_institution_ids“：[]”，“apc_list”：null，“apc paid”：null，“has_fulltext”：true，“全文_origin“：”pdf“，”cited_by_count“：17，”cited_by_percentile_year“：{”min“：91，”max“：92}，”biblio“：{”volume“：”2“，”issue“：”POPL“，”first_page“：”1“，”last_page“：“33”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“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.9996，“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.9991，”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.997，“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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/formal-verification（https://openalex.org/keywords/formal-verification）“，”display_name“：”正式验证“，”score“：0.54664}，{”id“：”https://openalex.org/keywords/software-diversity网站“，”display_name“：”软件多样性“，”score“：0.501107}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.500007}]，”concepts“：[{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.8708645}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8509988}，{”id“：”https://openalex.org/C54483334，“wikidata”：https://www.wikidata.org/wiki/Q2005“，”display_name“：”JavaScript“，”level“：2，”score“：0.84337807}，{”id“：”https://openalex.org/C2777062904，“wikidata”：https://www.wikidata.org/wiki/Q545406“，”display_name“：”Toolchain“，”level“：3，”score“：0.74875367}，{”id“：”https://openalex.org/C198240166，“wikidata”：https://www.wikidata.org/wiki/Q2298909“，”display_name“：”Unobrusive JavaScript“，”level“：4，”score“：0.73165274}，{”id“：”https://openalex.org/C2779639559，“wikidata”：https://www.wikidata.org/wiki/Q7661178“，”display_name“：”符号执行“，”level“：3，”score“：0.5473185}，{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.4732721}，{”id“：”https://openalex.org/C103048170，“wikidata”：https://www.wikidata.org/wiki/Q725485“，”display_name“：”富Internet应用程序“，”level“：3，”score“：0.47150248}，{”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.45772725}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”Software“，”level“：2，”score“：0.09985459}]，”mesh“：[]，”locations_count“：2.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3158138，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3158138？下载=true，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM编程语言会议记录“，”issn_l“：”2475-1421“，”issn“：[”2475-1421“]，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机器协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/1044/1/55978，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/55978/9/popl18-p276.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“：[”伦敦帝国理工学院“]，“type”：“repository”}，“license”：“cc-by-nc-sa”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-sa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3158138，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3158138？下载=true，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM编程语言会议记录“，”issn_l“：”2475-1421“，”issn“：[”2475-1421“]，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，“grants”：[{“funder”：“https://openalex.org/F4320334627“，”“funder_display_name”“：”工程与物理科学研究委员会“，”award_id“：”EP/K032089/1，EP/K008528/1“}]，”数据集“：[]，”版本“：[]，”referenced_works_count“：45，”referrenced_works“：[”https://openalex.org/W1480909796","https://openalex.org/W148369031","https://openalex.org/W1508482211","https://openalex.org/W1562865234","https://openalex.org/W1565541828","https://openalex.org/W1885955018","https://openalex.org/W1966862293","https://openalex.org/W1992012690","https://openalex.org/W2008880956","https://openalex.org/W2009989404","https://openalex.org/W2020900140","https://openalex.org/W202191487","https://openalex.org/W2048417351","https://openalex.org/W2050576837","https://openalex.org/W2053154567","https://openalex.org/W2066349785","https://openalex.org/W2067104598","https://openalex.org/W2076090418","https://openalex.org/W2087567537","https://openalex.org/W2091335641","https://openalex.org/W2108416936","https://openalex.org/W2117802778","https://openalex.org/W2129345992","https://openalex.org/W2130162474","https://openalex.org/W2137628566","https://openalex.org/W2142194171","https://openalex.org/W2147323041","https://openalex.org/W2156249516","https://openalex.org/W2161433768","https://openalex.org/W2163671349","https://openalex.org/W2164915303","https://openalex.org/W2171685273","https://openalex.org/W2290206096","https://openalex.org/W2529050043","https://openalex.org/W2535818195","https://openalex.org/W2562833768","https://openalex.org/W2735791521","https://openalex.org/W2911692446","https://openalex.org/W3010249406","https://openalex.org/W3011737828","https://openalex.org/W3105116128","https://openalex.org/W327452528","https://openalex.org/W4242904834","https://openalex.org/W4247387602","https://openalex.org/W777621473“]，”related_works“：[”https://openalex.org/W650647575","https://openalex.org/W597036300","https://openalex.org/W4231812305","https://openalex.org/W36303035","https://openalex.org/W2739095887","https://openalex.org/W2617623045","https://openalex.org/W2505509890","https://openalex.org/W2500345013","https://openalex.org/W2477981260","https://openalex.org/W2161433768“]，”ngrams_url“：”https://api.openalex.org/works/W2780323212/ngrams网站“，”“abstract_inverted_index”：{“The”：[0177]，“dynamic”：[1107]，“nature”：[2]，“of”：[3,40,76109128]，“JavaScript”：[4,22,42,46,78,82,97130]，“and”：[5,29,61,70124162168]，“its”：[6,53]，“complex”：[7186]，“semantics”：[08]，“make”：[9]，“it”：[10]，“a”：[11,20,87,93113119]，“harouble”：[12]，“目标”：[13]，“用于”：[14]，“基于逻辑”：[15]，“验证”：[16]，“我们“：[17]，”介绍“：[18]，”JaVerT，“：[19,86134]，”半自动“：[2114]，”验证“：[23]，”工具链“：[24]，”基于“：[25117]，”关于“：[26118153]，”分离“：[27122]，”逻辑“：[28]，“目标”：[30]，“at”：[31]，“the”：[32,65,77105129172]，“专家”：[33]，“开发人员”：[34,66]，“想要”：[35]，“丰富”，：[36]，“机械”：[37]，“验证”：[38125]，“规范“：[39,72127]，”关键“：[41]，”代码。“：[43]，”To“：[44,80]，”specify“：[45]，”programs“，：[47,83]，”we“，”design“：%49]，”抽象“：[50]，”that“：[51181]，”capture“：[52]，”key“：[P4]，”heap“：[55]，”structures“：[56155]，”闭包），“：[63]，”允许“：[64]，”到“：[67,98]，”写入“：[68]，”清除“：[69]，”简洁“：[71]，“with”：[73]，“minimal”：[74]，“knowledge”：[75]，“internals.”：%79]，“verify”：[81136]，“develop”：+85]，“verification”：[88115178]，“pipeline”：[89]，“composing”：[90]，“of”：[91140]，“JS-2-JSIL，”：[92]，“well-tested”：[94]，“编译器”：[95]，“from”：[96171]，“JIL”：[99]，“an”：[100149]，“mediate”：[101]，“goto”：[102]，“language”：[103]，“capturing”：[104]，“基本”：[106]，“特征”：[108]，“JavaScript；”：[110]，“JSIL”：[11121]，“验证”：[112]，“工具”：[116]，“声音”：[120]，“逻辑；”：/123]，“公理”：[126]，“内部”：[131]，“函数。”：[132]，“使用”：[133]，“功能”：[137]，“正确性”：[138]，“属性”：[139]，“数据结构”：[141]，“库”：[142]，“（键值“：[143]，”映射“：[144]，”优先级“：[145]，“queue）”：[146]，“writed”：[147]，“in”：[148]，“面向对象”：[150]，“style；”：[151]，“operations”：[152]，“data”：[154]，“such”：[156]，“as”：[157]，“binary”：%158]，“search”：+159]，“trees”：[160]，“（BST）”：161]，“lists”；“：[163]，“examples”：[164]，“illinging”：[165]，“closures”；“:[167]，“test”：[169175]，“案例”：[170]，“官方”：[173]，“ECMAScript”：[174]，“套房”：[176]，“次数”：[179]，“建议”：[180]，“推理”：[182]，“关于”：[183]，“更大”，：[184]，“更多”：[185]，“代码”：[187]，“使用”：[188]，“JaVerT”：[189]，“是”：[190]，“可行。”：[191]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2780323212“，”counts_by_year“：[{“年份”：2023，”cited_by_count“：3}，{“年”：2022，”ciped_by_cunt“：1}，”{“年度”：2021，“cited_by_count”：4}，“年份”:2020，”cited_by_count？：2}，}“年份“：2019，”citecd_by_count“:2}、{“年代”：2018，”citted_by_count“:5}]，”updated_dated“日期”：“2024-05-17T07:24:42.628194”，“创建日期”：“2018-01-05”}