{“id”：“https://openalex.org/W4390603727“，”doi“：”https://doi.org/10.1145/3633211“，”title“：”Shoggoth:战略改写的正式基金会“，”display_name“：”Shoggoth:A Formal Foundation for Strategic Rewriting“，”publication_year“：2024，”publitation_date“：”2024-01-05“，”ids“：{”openalex“：”https://openalex.org/W4390603727“，”doi“：”https://doi.org/10.1145/3633211“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3633211“，”pdf_url“：”https://dl.acm.org/doi/pdf/10.1145/3633211，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM关于编程语言的会议记录“，”issn_l“：”2475-1421“，”isn“：[”2475-1221“]，”is_oa“：true，”is.in_doaj“：false，”is_core“：true，”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/3633211“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5085439366“，”display_name“：”薛莹琴“，”兽人“：”https://orcid.org/0000-0003-4825-2023}，“机构”：[{“id”：https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”countries“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Xueying Qin“，”raw _affiliation_strings“：【”英国爱丁堡大学“】，”affiliations“：[{”raw _affiliation_string“：”英国爱丁堡大学“，”institution_ids“：[“https://openalex.org/I98677209“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5091677658“，”display_name“：”Liam O\u2019Connor“，”orcid“：”https://orcid.org/0000-0003-2765-4269}，“机构”：[{“id”：https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Liam O\u2019Connor“，”raw_affiliation_strings“：[“英国爱丁堡大学”]，”affiliations“：[{”raw_affiliation_string“：”英国爱丁伯格大学“，”institution_ids“：]”https://openalex.org/I98677209“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5048229897“，”display_name“：”Rob van Glabbeek“，”orcid“：”https://orcid.org/0000-0003-4712-7423}，“机构”：[{“id”：https://openalex.org/I31746571“，”display_name“：”新南威尔士悉尼“，”ror“：”https://ror.org/03r8z3t63“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I31746571“]}，{”id“：”https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”countries“：[”AU“，”GB“]，”is_corresponding“：false，”raw_author_name“：”Rob van Glabbeek“，“raw_affiliation_strings”：[”爱丁堡大学，英国/新南威尔士大学，澳大利亚悉尼“]，“affiliations”：[{”raw_affiliation_string“：”爱丁伯格大学，英国/UNSW，澳大利亚悉尼”，“institution_ids”：[“https://openalex.org/I31746571","https://openalex.org/I98677209“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5093658553“，”display_name“：”Peter H\u00f6fner“，”orcid“：”https://orcid.org/0000-0002-2141-5868}，“机构”：[{“id”：https://openalex.org/I118347636“，”display_name“：”澳大利亚国立大学“，”ror“：”https://ror.org/019wvm592“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I118347636“]}]，”国家“：[”AU“]，”is_corresponding“：false，”raw_author_name“：”Peter H\u00f6fner“，”raw _ afiliation_strings“：[“澳大利亚国立大学”]，”affiliations“：[{”raw _affiliation_strong“：”澳大利亚国立大学，“institution_ids”：[“https://openalex.org/I118347636“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5058873268“，”display_name“：”Ohad Kammar“，”orcid“：”https://orcid.org/0000-0002-2007-0929}，“机构”：[{“id”：https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Ohad Kammar“，”raw _ affiliation_strings“：[“英国爱丁堡大学”]，”affiliation“：[{”raw _affiliation_string“：”英国爱丁伯格大学“，”institution_ids“：[https://openalex.org/I98677209“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5016319844“，”display_name“：”Michel Steuwer“，”orcid“：”https://orcid.org/0000-0001-5048-0741}，“机构”：[{“id”：https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}，{”id“：”https://openalex.org/I4577782“，”display_name“：”柏林理工大学\u00e4t“，”ror“：”https://ror.org/03v4gjf40“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I4577782“]}]，”countries“：[”DE“，”GB“]，”is_corresponding“：false，”raw_author_name“：”Michel Steuwer“，“raw_affiliation_strings”：[”德国柏林大学/英国爱丁堡大学“]，“affiliations”：[{“raw_affiliation_string”：“德国柏林大学（TU Berlin）/英国爱丁堡大学（University of Edinburgh，UK）”，“institution_ids”：[“https://openalex.org/I98677209","https://openalex.org/I4577782“]}]}]，”countries_distinct_count“：3，”institutions_disting_count”：4，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：null，”apc_payed“：null、”fwci“：nully、”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：0，”citected_by_percentile_year“：{”min“：0，“max”：90}，”biblio“：{“volume”：“8”，“issue”：“POPL”，“first_page”：“61”，“last_page“：”89“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9997，”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.9997，”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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9972，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9963，”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/keywords/software-architecture网站“，”display_name“：”软件架构“，”score“：0.478881}]，”concepts“：[{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.8957881}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6742082}，{”id“：”https://openalex.org/C87365073，“wikidata”：https://www.wikidata.org/wiki/Q7051843“，”display_name“：”评估归一化“，”level“：5，”score“：0.61438453}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.6028158}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5784186}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.5617685}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.52336013｝，｛”id“：”https://openalex.org/C176181172，“wikidata”：https://www.wikidata.org/wiki/Q3490301“，”display_name“：”非确定性算法“，”level“：2，”score“：0.5075654}，{”id“：”https://openalex.org/C17435882，“wikidata”：https://www.wikidata.org/wiki/Q17030435“，”display_name“：”HOL“，”level“：2，”score“：0.44794843}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.36946213}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974网址“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.32196113}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.21039373}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3633211“，”pdf_url“：”https://dl.acm.org/doi/pdf/10.1145/3633211，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM关于编程语言的会议记录“，”issn_l“：”2475-1421“，”isn“：[”2475-1221“]，”is_oa“：true，”is.in_doaj“：false，”is_core“：true，”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}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1145/3633211“，”pdf_url“：”https://dl.acm.org/doi/pdf/10.1145/3633211，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM关于编程语言的会议记录“，”issn_l“：”2475-1421“，”isn“：[”2475-1221“]，”is_oa“：true，”is.in_doaj“：false，”is_core“：true，”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/F432032006“，”funder_display_name“：”Royal Society“，”award_id“：”RSWF\\R1\\22100“}]，”datasets“：[]，”versions“：[]，”referenced_works_count“：31，”referrenced_works“：[”https://openalex.org/W1592287058","https://openalex.org/W1968275544","https://openalex.org/W1982866418","https://openalex.org/W1998368317","https://openalex.org/W2009412952","https://openalex.org/W2034484223","https://openalex.org/W2062024564","https://openalex.org/W2066210260","https://openalex.org/W2075350371","https://openalex.org/W2091210577","https://openalex.org/W2094544397","https://openalex.org/W2096490078","https://openalex.org/W2125872407","https://openalex.org/W2130427425","https://openalex.org/W2152431579","https://openalex.org/W2161897282","https://openalex.org/W2162766176","https://openalex.org/W2164419371","https://openalex.org/W2493901668","https://openalex.org/W2987907651","https://openalex.org/W3142621357","https://openalex.org/W4206652660","https://openalex.org/W4234229576","https://openalex.org/W4237360449","https://openalex.org/W4246263814","https://openalex.org/W4247154112","https://openalex.org/W4248710586","https://openalex.org/W4250846042","https://openalex.org/W4251121309","https://openalex.org/W4307511218","https://openalex.org/W4321480210“]，”related_works“：[”https://openalex.org/W3036972880","https://openalex.org/W28518009","https://openalex.org/W2604895854","https://openalex.org/W2348616540","https://openalex.org/W2133673046","https://openalex.org/W2037785443","https://openalex.org/W1988602629","https://openalex.org/W1986227685","https://openalex.org/W1929699059","https://openalex.org/W1869423547“]，”ngrams_url“：”https://api.openalex.org/works/W4390603727/ngrams网站“，”“abstract_inverted_index”：{“重写”：[0]，“是”：[1,58138]，“a”：[2,62,85,94111117126146152179]，“通用”：[3]，“和”：[4,48,68132158191226233239]，“强大”：[5]，“技术”：[6]，“使用”：[7210]，“in”：[8,74211237]，“many”：[9]，”“domains.”：[10]，“战略”：[11]，“重写”218]，“允许”：[13]，“程序员”：[14]，“to“：[15,60,69,76162184199213]，”control“：[16]，”the“：[17200]，”application“：[18]，”of“：[19,65140149217]，”rewrite“：[20,25,29,66,86,95118]，”rules“：[21,26]，”by“：[22171]，”composing“：[23]，“individual”：[24]，“into”：[27]，“complex”：[28]，“strategies”。“：[30]，”这些“：[31]，”策略“：[32,67]，”是“：[33224235242]，”语义“：[34]，”复杂“：[35]，”作为“：[36]，”它们“：[37,41,49223]，”可能“：[38,42,50]，”为“：[39209]，”不确定性“：[40]，”提升“：[43]，”错误“：[44]，”那“：[45,84,931101372227]，”触发器“：[46]，”回溯，“：[47]，”不是“：[51,98]，”终止。“：[52]，“给定”：[53]，“这样”：[54]，“语义”：[55]，“复杂性”：[56]，“它”：[57]，“必要”：[59]，“建立”：[61]，“形式”：[63127186]，“理解”：[64]，“启用”：[70185]，“推理”：[71133187]，“关于”：[72134188215]，“它们”：[73]，“顺序”：[75]，“答案”：[77]，“问题”：[78]，“喜欢”：[79]，“如何”：[80,89106]，“做”：[81,90107]，“我们”：[82，9811101108123192]，“知道”：[83，92209]，“策略”：[87，96]，“终止？“：[88]，”does“：[97]，”fail“：[99]，”because“：[100]，”compose“：[102]，”two“：[103]，”incompatible“：[104]，”rewrites？“：[105]，”所需“：[112228]，”属性“：[113]，”保持“：[114]，”之后“：[115]，”应用“：[116]，”策略？“：[119]，“In”：[120]，“this”：[121194206]，“paper”，“：[122]，“introduce”：[124]，“Shoggoth:”：[125]，“foundation”：[128]，“for”：[129155174]，“understance”：[130]，“analysis”：[131]，“strategic”：[135156]，“capable”：[139]，“answering”：[141]，“these”：[142]，“questions”。“：[143]，“我们”：[144176203]，“提供”：[145]，“指称”：[147201]，“语义”：[148232]，“系统”：[150]，“S”：[151]，“核心”：[153]，“语言”：[154]，“重写”：[157]，“证明”：[159193]，“its”：[160]，“等价”：[161]，“our”：[163]，“big-step”：[164]，“操作”：[165]，“语义学”：[166]，”其中“：[167]，”扩展“：[168]，”现有“：[169]，”工作“：[170]，”显式地“：[172]，”会计“：[173]，”分歧。“：[175]，“进一步”：[177]，“定义”：[178]，“基于位置”：[180]，“最弱”：[181]，“前提条件”：[182]，“演算”：[183195207234]，“策略”，：[190219]，“声音”：[196]，“with”：[197]，“尊重”：[198]，“语义”。“：[202]，”show“：[204]，”how“：[205]，”can“：[208]，”practice“：[212]，”reason“：[214]，”properties“：[216]，”including“：[220]，”termination“，”：[221]，”coverful composition“：[225]，”postconditions“：[229]，”hold。“：[230]，“The”：[231]，“formalised”：[236]，“Isabelle/HOL”：[238]，“all”：[240]，“proof”：[241]，“mechanised”。“：[243]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4390603727“，”counts_by_year“：[]，”updated_date“：”2024-06-29T21:42:44.334596“，”created_date:“2024-01-07”}“