{“id”：“https://openalex.org/W2797505532“，”doi“：”https://doi.org/10.1007/978-3-319-89884-1_16“，”title“：”Fragment Abstraction for Concurrent Shape Analysis“，”display_name“：”Fagment Abtraction for Concurrent形状分析“，”publication_year“：2018，”publiation_date“：”2018-01-01“，”ids“：{”openalex“：”https://openalex.org/W2797505532“，”doi“：”https://doi.org/10.1007/978-3-319-89884-11_16“，”mag“：”2797505532“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-319-89884-11_16，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_16.pdf“，”源“：{”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“：[”施普林格自然“，”施普林格科学+商业媒体“]，”type“：”图书系列“}，”license“：”抄送人“，”license_id“：”https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_16.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5002478680“，”display_name“：”Parosh Aziz Abdulla“，”orcid“：”https://orcid.org/0000-0001-6832-6611}，“机构”：[{“id”：https://openalex.org/I123387679“，”display_name“：”乌普萨拉大学“，”ror“：”https://ror.org/048a87296“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I123387679“]}]，”国家“：[”SE“]，”is_corresponding“：false，”raw_author_name“：”Parosh Aziz Abdulla“，”raw _affiliation_strings“：[“乌普萨拉大学，瑞典”]，”affiliations“：[{”raw _affiliation_string“：”瑞典乌普萨拉·乌普萨拉斯大学“，”，“institution_ids”：[“https://openalex.org/I123387679“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5009514870“，”display_name“：”Bengt J\u00f8nsson“，”orcid“：”https://orcid.org/0000-0001-7897-601X}，“机构”：[{“id”：https://openalex.org/I123387679“，”display_name“：”乌普萨拉大学“，”ror“：”https://ror.org/048a87296“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I123387679“]}]，”国家“：[”SE“]，”is_corresponding“：false，”raw_author_name“：”Bengt Jonsson“，”raw _ afiliation_strings“：[“乌普萨拉大学，瑞典”]，”affiliations“：[{”raw _affiliation_string“：”乌普萨拉·瑞典大学“，”institution_ids“：[https://openalex.org/I123387679“]｝]｝，｛”author_position“：”last“，”author“：｛”id“：”https://openalex.org/A5068872181“，”display_name“：”Cong Quy-Trinh“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I123387679“，”display_name“：”乌普萨拉大学“，”ror“：”https://ror.org/048a87296“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I123387679“]}]，”国家“：[”SE“]，”is_corresponding“：true，”raw_author_name“：”Cong Quy Trinh“，”raw _affiliation_strings“：[“乌普萨拉大学，瑞典”]，“affiliations”：[{“raw_affilition_string”：“乌普巴拉大学，瑞士”，“institution_ids”：[“https://openalex.org/I123387679“]｝]｝]，”institute_assertions“：[]，”countries_distict_count“：1，”institutions_disict_count“：1，”corresponding_author_ids“：[”https://openalex.org/A5068872181“]，”对应的机构ID“：[”https://openalex.org/I123387679“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：”{“value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“fwci”：1.062，“has_fulltext”：false，“cited_by_count”：7，“citation_normalized_percentile”：{“value”：0.82855，“is_in_top_1_percent”：false，“is_in_top_10_percent”：false}，“cited_by_percentile_year“：{”min“：82，”max“：84}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“442”，“last_page”：“471”}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9883，“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.9883，“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/T12784“，”“display_name”：“自重构机器人系统和模块化机器人”，“score”：0.9801，“subfield”：{“id”：“https://openalex.org/subfields/2210“，”display_name“：”机械工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9788，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”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/heap“，”display_name“：”堆（数据结构）“，”score“：0.82823217}，{”id“：”https://openalex.org/keywords/linealizability网站“，”display_name“：”线性化“，”score“：0.7527747}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分隔逻辑“，”score“：0.554983}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.52033}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.516933}，{”id“：”https://openalex.org/keywords/bequinchmarking（https://openalex.org/关键词/基准测试）“，”display_name“：”标杆管理“，”score“：0.510925}，{”id“：”https://openalex.org/keywords/formal-verification网站“，”display_name“：”正式验证“，”score“：0.503215}，{”id“：”https://openalex.org/keywords/concurrent-data-structure网站“，”display_name“：”并发数据结构“，”score“：0.45623517}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.861824}，{”id“：”https://openalex.org/C134757568，“wikidata”：https://www.wikidata.org/wiki/Q274089“，”display_name“：”Heap（数据结构）“，”level“：2，”score“：0.82823217｝，｛”id“：”https://openalex.org/C20528329，“wikidata”：https://www.wikidata.org/wiki/Q513932“，”display_name“：”线性化“，”level“：3，”score“：0.7527747}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.68451184}，{”id“：”https://openalex.org/C113954288，“wikidata”：https://www.wikidata.org/wiki/Q186885“，”display_name“：”Timestamp“，”level“：2，”score“：0.6222622｝，｛”id“：”https://openalex.org/C150202949，“wikidata”：https://www.wikidata.org/wiki/Q107602“，”display_name“：”指针（用户界面）“，”level“：2，”score“：0.5801504}，{”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.554983}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.53334147}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.48533455}，{”id“：”https://openalex.org/C162319229，“wikidata”：https://www.wikidata.org/wiki/Q175263“，”display_name“：”数据结构“，”level“：2，”score“：0.4574501}，{”id“：”https://openalex.org/C203222032，“wikidata”：https://www.wikidata.org/wiki/Q5159104“，”display_name“：”并发数据结构“，”level“：3，”score“：0.45623517}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.32150826}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0816395}，{”id“：”https://openalex.org/C79403827，“wikidata”：https://www.wikidata.org/wiki/Q3988“，”display_name“：”实时计算“，”level“：1，”score“：0.075921774}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-319-89884-11_16，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_16.pdf”，“来源”：｛“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“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”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-89884-11_16，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_16.pdf“，”源“：{”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“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1001614398","https://openalex.org/W1495128589","https://openalex.org/W1508482211","https://openalex.org/W1511438294","https://openalex.org/W1516842532","https://openalex.org/W1517389573","https://openalex.org/W1520380662","https://openalex.org/W1527710292","https://openalex.org/W1533299090","https://openalex.org/W1540997098","https://openalex.org/W1553228708","https://openalex.org/W1560366856","https://openalex.org/W1591718490","https://openalex.org/W1594023774","https://openalex.org/W1717387230","https://openalex.org/W1867941603","https://openalex.org/W1919495026","https://openalex.org/W1969336848","https://openalex.org/W1981393723","https://openalex.org/W1981439955","https://openalex.org/W1983572666","https://openalex.org/W1986732422","https://openalex.org/W1991837261","https://openalex.org/W2012171200","https://openalex.org/W2017559473","https://openalex.org/W2081281361","https://openalex.org/W2105830064","https://openalex.org/W2109717427","https://openalex.org/W2111513472","https://openalex.org/W2129017891","https://openalex.org/W2136651966","https://openalex.org/W2139142311","https://openalex.org/W2140908587","https://openalex.org/W2147121279","https://openalex.org/W2147760702","https://openalex.org/W2153604631","https://openalex.org/W2157062942","https://openalex.org/W2159392969","https://openalex.org/W2167064916","https://openalex.org/W21782066","https://openalex.org/W2248307790","https://openalex.org/W2508779702","https://openalex.org/W2512930100","https://openalex.org/W2559817971","https://openalex.org/W2592567368","https://openalex.org/W2596852931","https://openalex.org/W3099889302","https://openalex.org/W4213428326","https://openalex.org/W4254183471","https://openalex.org/W4293763691","https://openalex.org/W60873039“]，”related_works“：[”https://openalex.org/W4386555206网址","https://openalex.org/W4379881776","https://openalex.org/W4297798324","https://openalex.org/W3037666222","https://openalex.org/W2559817971","https://openalex.org/W2547570521","https://openalex.org/W2283580753","https://openalex.org/W2154642390","https://openalex.org/W2139241970","https://openalex.org/W1867941603“]，”abstract_inverted_index“：{”A“：[0138]，”major“：[1]，”challenge“：[2]，”in“：[3,83168201]，”automated“：[4,44,64]，”verification“：[5,65]，”is“：[6,52120140]，”to“：[7,13164199]，”develop“：[8]，”technologies“：[9,45]，”that“：[10,19,70149]，”are“：[11,76150197]，”able“：[12]，”reason“：[14]，“关于”：[15]，“细粒度”：[16,67]，“并发”：[17,26,68103176]，“algorithms“：[18,69]，”compose“：[20]，”of“：[21,25,34,66,89102108131136143171173178191]，”an“：[22,31,99105114141]，”unbounded“：[23,32,39100106115]，”number“：[24101]，”threads“：[27104]，”which“：[28,75127183196]，”operate“：[29]，”on“：[30122]，”domain“：[33107]，”data“：35,51109]，”values“：[36]，“和”：[37,87113161181]，“使用”：[38]，“动态“：[40]，”已分配“：[41]，”内存。“：[42]，”现有“：[43]，”考虑“：[46]，”该“：[47,95169202]，”案例“：[48]，”其中“：[49]，”共享“：[50116]，”组织“：[53]，”到“：[54]，”单链“：[55,81185192]，”列表。“：[56]，“我们”：[57156]，“现在”：[58]，“a”：[59123129134144153]，“小说”：[60124]，“形状”：[61125]，“分析”：[62]，“for”：[63]，“can”：[71]，“句柄”：[72]，“堆”：[73147]，“结构”：[74]，“更多”：[77]，“复杂”：[78]，“than”：[79]，“just”：[80]，“列表”，“：[82,92186188]，”特定“：[84]，”跳过“：[85187]，”列表“：[86193]，”数组“：[88190]，”单个“：[90]，”链接“：[91]，”while“：[93]，”at“：[94]，”same“：[96]，”time“：/97]，”handling“：[98]，”values“：[110]，”（包括“：[111]，”时间戳），“：[112]，”heap。“：[117]，”我们的“：[118]，”技术“：[119]，”基于“：[121]，”抽象“：[126]，”表示“：[128]，”集合“：[130135]，”堆“：[132]，”by“：[133152]，”片段。“：[137]，”片段“：[139]，”抽象“：[142]，”对“：[145]，”单元格“：[148]，”连接“：[151]，”指针“：[154]，”字段。“：[155]，”有“：[157]，”已实现“：[158]，”我们的“：[159]，”方法“：[160]，”应用“：[162]，”它“：[163]，”自动“：[165]，”验证“：[166]，”正确性“：[167]，”感知“：[170]，”线性化能力“：[172]，”大多数“：[174]，”可线性化“：[175]，”实施“：[177]，”集合“：[179]，”堆栈“：[180]，”队列“：[182]，“雇佣”：[184]，“或”：[189]，“带有”：[194]，“时间戳，“：[195]，”已知“：[198]，”我们“：[200]，”文献。“：[203]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2797505532“，”counts_by_year“：[{”年“：2023，”cited_by_count“：1}，{”年份“：2022，”cited_by_count”：2}，“年份”：2021，”citecd_by_count“：3}，”年度“：2020，”citesd_by_count“:1}]，”更新日期“：”2024-09-19T23:09:35.768273“，”创建日期“：“2018-04-24”}