{“id”：“https://openalex.org/W1537636533“，”doi“：”https://doi.org/10.1007/978-3642-00590-9_25“，”title“：”使用分离逻辑自动并行“，”display_name“：”用分离逻辑自动平行“，”publication_year“：2009，”publitation_date“：”2009-01-01“，”ids“：{”openalex“：”https://openalex.org/W1537636533“，”doi“：”https://doi.org/10.1007/978-3642-00590-9_25“，”mag“：”1537636533“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3642-00590-9_25，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3642-00590-9_25.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-3642-00590-9_25.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5023425558“，”display_name“：”Mohammad Raza“，”orcid“：”https://orcid.org/0000-0002-2948-7532}，“机构”：[{“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“：”Mohammad Raza“，”raw _affiliation_strings“：[“伦敦帝国理工学院计算系，180 Queen \u2019s Gate，London，SW7 2AZ，UK”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5055733288“，”display_name“：”Cristiano Calcagno“，”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“：”Cristiano Calcagno“，”raw _ afiliation_strings“：[“伦敦帝国理工学院计算系，180 Queen \u2019s Gate，London，SW7 2AZ，UK”]}，{“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“：【”伦敦帝国理工学院计算系，180 Queen \u2019s Gate，London，SW7 2AZ，UK“】}]，“countries_distiction_count”：1，“institutions_distinact_count“：1，”corresponding_author_ids“：[]，”correcponding_institution_idsvalue“：5000，”currency“：”EUR“，”value_usd“：5392，”出处“：”doaj“｝，”apc_payed“：｛”value“：5000，”currency“：”EUR“，”value_usd“：5392，”出处“：”doaj“｝，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：40，”cited_by_percentle_year“：｛”min“：94，”max“：95｝，”biblio“：｛”volume“：null，”issue“：null，”first_path ge“：”348“，”last_page“：”362“｝，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9998，”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/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9998，”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/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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9989，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”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/selection-logic“，”display_name“：”分离逻辑“，”score“：0.66702}，{”id“：”https://openalex.org/keywords/并行计算“，”display_name“：”并行计算“，”score“：0.567208}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.566569}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.550558}，{”id“：”https://openalex.org/keywords/memory-management网站“，”display_name“：”内存管理“，”score“：0.514503｝]，”concepts“：[｛”id“：”https://openalex.org/C150202949，“wikidata”：https://www.wikidata.org/wiki/Q107602“，”display_name“：”指针（用户界面）“，”level“：2，”score“：0.8398249}，{”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.7860656}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7415141}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6032573｝，｛”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.5943319}，{”id“：”https://openalex.org/C164833996，“wikidata”：https://www.wikidata.org/wiki/Q2323839“，”display_name“：”自动并行化“，”level“：3，”score“：0.58592486}，{”id“：”https://openalex.org/C2776061190，“wikidata”：https://www.wikidata.org/wiki/Q7451805“，”display_name“：”分隔（统计）“，”level“：2，”score“：0.5429326}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.32900676}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.32372326}，{”id“：”https://openalex.org/C9390403，“wikidata”：https://www.wikidata.org/wiki/Q3966“，”display_name“：”计算机硬件“，”level“：1，”score“：0.14364848}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”score“：0.0}]，”网格“：[]，”locations_count“：3，”位置“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3642-00590-9_25，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3642-00590-9_25.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}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/1044/1/33269，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/33269/2/Raza2009Automatic.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-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”http://hdl.handle.net/1044/1/95366，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/95366/2/DTR08-16.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-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3642-00590-9_25，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-00590-9_25.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“：[]，”grants“：[%]，”datasets“：[/]，”versions“：[]]，”referenced_works_count“：14，”https://openalex.org/W1485372940","https://openalex.org/W1508482211","https://openalex.org/W1508811155","https://openalex.org/W1562865234","https://openalex.org/W2019410896","https://openalex.org/W2019709986","https://openalex.org/W2060434193","https://openalex.org/W2104251622","https://openalex.org/W2111695742","https://openalex.org/W2125426255","https://openalex.org/W2130162474","https://openalex.org/W2131296609","https://openalex.org/W2148687959","https://openalex.org/W2152686702“]，”related_works“：[”https://openalex.org/W2484255726","https://openalex.org/W2365995233","https://openalex.org/W1987204888","https://openalex.org/W1984303163","https://openalex.org/W1862243604","https://openalex.org/W1591171990","https://openalex.org/W1577309527","https://openalex.org/W1545342238","https://openalex.org/W1505787035","https://openalex.org/W1471781652“]，”ngrams_url“：”https://api.openalex.org/works/W1537636533/ngrams网站“，”“abstract_inverted_index”：{“Separation”：[0]，“logic”：[1]，“is”：[2,16]，“a”：[3,19]，“recent”：[4]，“approach”：[5,38]，“to”：[6,39]，“the”：[7,26,33,49]，“analysis”：[8]，“of”：[9,42]，“pointer”：[10]，“programs”：[11]，“in”：[12,32,48]，“which”：[13,61]，“resource”：[14]，“分隔”：[15,44]，“表示”：[17]，“with”：[18]，“逻辑”：[20]，“连接词”：[21]，“断言“：[23]，”that“：[24]，”describe“：[25]，”state“：/27]，”at“：/28]，”any“：[29]，”given“：[30]，”point“：[31]，”program。“：[34]，“我们”：[35]，“扩展”：[36]，“这个”：[37]，“表达式”：[40]，“属性”：[41]，“内存”：[43]，“介于”：[45,58]，“不同”：[46]，“点”：[47]，“程序”：[50]，“和”：[51]，“当前”：[52]，“一个”：[53]，“算法”：[54]，“用于”：[55,65]，“确定”：[56]，“独立性”：[57]，“program”：[59]，“statements”：[60]，“can”：[62]，“be”：[63]，“used”：[64]，“parallelization”。“：[66]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W1537636533“，”counts_by_year“：[{”年“：2023，”cited_by_count“：1}，{”年度“：2017，”cited_by_count”：3}，}”年度”：2015，”citecd_by_count“：4}，”年份“：2014，”citesd_by_count“:1}”，{“年份”：2013，“创建日期”：“2016-06-24”}