{“id”：“https://openalex.org/W2735791521“，”doi“：”https://doi.org/10.1007/978-3-319-63046-5_2“，”title“：”Towards Logic-Based Verification of JavaScript Programs“，”display_name“：”Towards Logic Verification for JavaScript Program“，”publication_year“：2017，”publiation_date“：”2017-01-01“，”ids“：{”openalex“：”https://openalex.org/W2735791521“，”doi“：”https://doi.org/10.1007/978-3-319-63046-5_2“，”mag“：”2735791521“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-63046-5_2“，”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、”is_core“：true、”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}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/55840/6/Fragoso2017Towards.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5061566620“，”display_name“：”Jos\u00e9 Fragoso Santos“，”orcid“：”https://orcid.org/0000-0001-5077-300X}，“机构”：[{“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“：[“英国伦敦帝国理工学院”]，”affiliations“：[{”raw _affiliation_strong“：”英国伦敦帝国学院”，“institution_ids”：[“https://openalex.org/I47508984“]}]}，{”author_position“：”middle“，”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 _ afiliation_strings“：[“英国伦敦帝国理工学院”]，”从属关系“：[{”raw _affiliation_string“：”英国伦敦帝国学院”，“institution_ids”：[“https://openalex.org/I47508984“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5104992297“，”display_name“：”Ivan Scagnetto“，”orcid“：”https://orcid.org/0000-0002-0400-7467}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”网址：https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}，{”id“：”https://openalex.org/I1338511612“，”display_name“：”塞尔维亚科学与艺术学院“，”ror“：”https://ror.org/05m1y4204“，”country_code“：”RS“，”type“：“政府”，”世系“：[”https://openalex.org/I1338511612“]}]，”国家“：[”GB“，”RS“]，”is_corresponding“：true，”raw_author_name“：”Petar Maksimovi\u0107“，”raw _affiliation_strings“：[“英国伦敦帝国理工学院”，“塞尔维亚贝尔格莱德塞族科学与艺术学院数学研究所”]，“affiliations”：[{“raw_affiliation _string”：“英国伦敦皇家学院”，”institution_ids“：]”https://openalex.org/I47508984“]}，{”raw_affiliation_string“：”塞尔维亚贝尔格莱德塞尔维亚科学与艺术学院数学研究所“，”institution_ids“：[”https://openalex.org/I1338511612“]｝]｝，｛”author_position“：”last“，”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“：[“英国伦敦帝国理工学院”]，”affiliations“：[{”raw _affiliation_string“：”英国伦敦帝国学院“，”institution_ids“：]”https://openalex.org/I47508984“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[“https://openalex.org/A5104992297“]，”对应的机构ID“：[”https://openalex.org/I47508984","https://openalex.org/I1338511612“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：0.636，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：4，”citation_normalized_percentile“：{”value：0.60684，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，“cited_b”y_percentile_year“：{“最小”：78，“最大”：80}，“书目”：{”volume“：null，”issue“：nul，”first_page“：”8“，”last_page“：”25“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.999，”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.999，”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.9989，”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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9988，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”Software“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/toolchain“，”display_name“：”Toolchain“，”score“：0.92794573}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.536077｝，｛”id“：”https://openalex.org/keywords/formal-verification网站“，”display_name“：”正式验证“，”score“：0.534333}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.503424}]，”concepts“：[{”id“：”https://openalex.org/C2777062904，“wikidata”：https://www.wikidata.org/wiki/Q545406“，”display_name“：”Toolchain“，”level“：3，”score“：0.92794573}，{”id“：”https://openalex.org/C54483334，“wikidata”：https://www.wikidata.org/wiki/Q2005“，”display_name“：”JavaScript“，”level“：2，”score“：0.9092717}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.83783066}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7660878}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697网址“，”display_name“：”模型检查“，”level“：2，”score“：0.48001733}，{”id“：”https://openalex.org/C48044578，“wikidata”：https://www.wikidata.org/wiki/Q727490“，”display_name“：”可伸缩性“，”level“：2，”score“：0.45509574}，{”id“：”https://openalex.org/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513（网址：https://www.wikidata.org/wiki/Q8513）“，”display_name“：”数据库“，”级别“：1，”分数“：0.15589657}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”Software“，”level“：2，”score“：0.095158875}]，”mesh“：[]，”locations_count“：2.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-63046-5_2“，”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、”is_core“：true、”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”：“网址：http://hdl.handle.net/10044/1/55840，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/55840/6/Fragoso2017Towards.pdf，“源”：{“id”：https://openalex.org/S4306401396“，”display_name“：”Spiral（Imperial College London）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：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”：“http://hdl.handle.net/1044/1/55840，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/55840/6/Fragoso2017Towards.pdf，“源”：{“id”：https://openalex.org/S4306401396“，”display_name“：”Spiral（Imperial College London）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：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}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：27，“refernced_works”：[”https://openalex.org/W148369031","https://openalex.org/W1562865234","https://openalex.org/W1565541828","https://openalex.org/W1581674879","https://openalex.org/W1710734607","https://openalex.org/W1839269954","https://openalex.org/W1966862293","https://openalex.org/W2009989404","https://openalex.org/W202191487","https://openalex.org/W2048417351","https://openalex.org/W2053154567","https://openalex.org/W2063692999","https://openalex.org/W2082841864","https://openalex.org/W2117802778","https://openalex.org/W2142194171","https://openalex.org/W2154985136","https://openalex.org/W2171683519","https://openalex.org/W2535818195","https://openalex.org/W2753815327","https://openalex.org/W3010249406","https://openalex.org/W3015951847","https://openalex.org/W3101079763","https://openalex.org/W3105116128","https://openalex.org/W327452528","https://openalex.org/W4242904834","https://openalex.org/W4253835178","https://openalex.org/W777621473“]，”related_works“：[”https://openalex.org/W4385243142","https://openalex.org/W4206450104","https://openalex.org/W4206329492","https://openalex.org/W2912135124","https://openalex.org/W2909413202","https://openalex.org/W2883257033","https://openalex.org/W2794118724","https://openalex.org/W2561644314","https://openalex.org/W2013037783","https://openalex.org/W1999008563“]，”abstract_inverted_index“：{”In“：[0]，”this“：[1]，”position“：[2]，”paper“：[3]，”we“：[4,8]，”argumer“：[5]，”for“：[6,56]，”what“：[7]，”believe“：[9]，”is“：[10]，”a“：[11]，”correct“：[12]，”path“：[13]，”to“：[14,46]，”reating“：[15]，：[17]，“验证”：[18]，“of”：[19,42]，“JavaScript”：[20,57]，“基于”：[21]，“on”：[22]，“分隔”：[23]，“逻辑。“：[24]，“我们”：[25,49]，“突出显示”：[26]，“所属”：[27,31,33,37,40]，“困难”：[28]，“强加”：[29]，“由”：[30]，“语言”：[32]，“当前”：[34]，“最新”：[35]，“in”：[36]，“文献”：[38]，“和”：[39]，“序列”：[41]，“步骤”：[43]，“that”：[44]，“需要”：[45]，“be”：[47]，“接受。“：[48]，”简要“：[50]，”描述“：[51]，”，“：[52]，”我们的“：[53]，”半自动“：[54]，”工具链“：[55]，”验证。“：[58]}，”引用_ by_api_url“：”https://api.openalex.org/works？filter=cites:W2735791521“，”counts_by_year“：[{“年份”：2018，”cited_by_count“：1}，{“年度”：2017，”cited_by_count”：2}]，”updated_date“：”2024-09-14T08:38:45.091062“，”created_date:“2017-07-21”}