{“id”：“https://openalex.org/W1517654114“，”doi“：”https://doi.org/10.1007/978-3-642-20920-8_10“，”title“：”Hoare Logic for Higher Order Store Using Simple Semantics“，”display_name“：”使用简单语义的高阶存储的Hoare逻辑“，”publication_year“：2011，”publitation_date“：”2011-01-01“，”ids“：{”openalex“：”https://openalex.org/W1517654114“，”doi“：”https://doi.org/10.1007/978-3-642-20920-8_10“，”mag“：”1517654114“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-20920-8_10“，”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“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5002649800“，”display_name“：”Nathaniel Charlton“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I162608824“，”display_name“：”苏塞克斯大学“，”ror“：”https://ror.org/00ayhx656“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I162608824“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Nathaniel Charlton“，”raw _ afiliation_strings“：[“苏塞克斯大学信息学院”]，”affiliations“：[{”raw _affiliation_strong“：”苏塞克斯学院信息学院“，”institution_ids“：[https://openalex.org/I162608824“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5002649800“]，”对应的机构ID“：[”https://openalex.org/I162608824“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：0.841，”has_fulltext“：false，”cited_by_count“：7，”citation_normalized_percentile“：{“value”：0.747167，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：fasle}，“cited_by_count”：{“min”：83，“max”：84}，“biblio”：{“volume”：空，“issue”：空first_page“：”52“，”last_page“：”66“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：1.0，“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”：1.0，“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.998，“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“：”物理科学“}}，{”id“：”https://openalex.org/T10054“，”display_name“：”并行计算和性能优化“，”score“：0.9947，”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/nondeterministic-algorithm“，”display_name“：”非确定性算法“，”score“：0.80172503}，{”id“：”https://openalex.org/keywords/hoare-logic“，”display_name“：”Hoare logic“，”score“：0.7038052}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.558014}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.547969}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.531925}，{”id“：”https://openalex.org/keywords/axiomatic-semantics网站“，”display_name“：”公理语义“，”score“：0.46612453}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8449147}，{”id“：”https://openalex.org/C176181172，“wikidata”：https://www.wikidata.org/wiki/Q3490301“，”display_name“：”非确定性算法“，”level“：2，”score“：0.80172503}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.7591001}，{”id“：”https://openalex.org/C104949639，“wikidata”：https://www.wikidata.org/wiki/Q1375924“，”display_name“：”Hoare logic“，”level“：3，”score“：0.7038052}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.6333713}，{”id“：”https://openalex.org/C2780801425，“wikidata”：https://www.wikidata.org/wiki/Q5164392“，”display_name“：”Construct（python库）“，”level“：2，”score“：0.58878547}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.53968054}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.53429383}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.5131336}，{”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.51080203}，{”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.5042509｝，｛”id“：”https://openalex.org/C58041814，“wikidata”：https://www.wikidata.org/wiki/Q792533“，”display_name“：”公理语义“，”level“：5，”score“：0.46612453}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.39624384}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.32316625}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.20755962}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.11585018}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”Correctness“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-20920-8_10“，”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}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“score”：0.41，“id”：“https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：27，”refernced_works“：[”https://openalex.org/W1491368825","https://openalex.org/W1501715400","https://openalex.org/W1546369567","https://openalex.org/W1562865234","https://openalex.org/W1588394470","https://openalex.org/W1589421353","https://openalex.org/W1595420666","https://openalex.org/W1598065184","https://openalex.org/W1661340274","https://openalex.org/W1790417275","https://openalex.org/W1982495075","https://openalex.org/W1988441831","https://openalex.org/W1991984504","https://openalex.org/W1999753800","https://openalex.org/W2060852846","https://openalex.org/W2102911760","https://openalex.org/W2111558906","https://openalex.org/W2113757735","https://openalex.org/W2130505204","https://openalex.org/W2132638915","https://openalex.org/W2137628566","https://openalex.org/W2151836690","https://openalex.org/W2164822567","https://openalex.org/W2478146632","https://openalex.org/W2604845086","https://openalex.org/W3008162052","https://openalex.org/W3031966213“]，”related_works“：[”https://openalex.org/W590274811","https://openalex.org/W4297797338","https://openalex.org/W2479659155","https://openalex.org/W2120897738","https://openalex.org/W2117210984","https://openalex.org/W2096553703","https://openalex.org/W1864574667","https://openalex.org/W183428347","https://openalex.org/W1536810838","https://openalex.org/W1013128375“]，”abstract_inverted_index“：{”We“：[0120]，”review“：[1]，”the“：[2,27,30,42,65,88106109136]，”problem“：[3]，”of“：[4,29,67108]，”previded“：[5]，”a“：[6,22,48,68,72,97139148]，”Hoare“：[7]，”logic“：[8,90]，”for“：[9,71]，”higher“：[10,23]，”order“：[11,24]，”store“：[12,25]，“程序”：[13]，“已考虑”：[14]，“由”：[15,41,81]，“重用”：[16,92]，“和“：[17,59,93101123]，”斯特里彻“：[18]，”（ICALP，“：[19]，”2005）。“：[20]，”In“：[21]，”program“：[26]，”过程/命令“：[28]，”program“：[31,43]，”are“：[32146]，”not“：33]，”fixed“，”：[34]，“but”：[35,95]，”can“：[36]，”be“：[37]，”operatived“：[38]，”at“：[39]，”runtime“：[40,60]，”self；“：[44]，”such“：[45,54138]，”programs“：[46117]，”supply“：[47]，”foundation“：[49]，”to“：[50130]，”study“：[51]，”language“：[52,73]，”features“：[53]，”as“：[55,91]，”reflection“：[56]，”dynamic“：[57]，”loading“：[58]，”code“：[61]，”generation“。“：[62]，”By“：[63]，”adapting“：[64]，”semantics“：[66]，”proof“：[6911140]，”system“：[70141]，”with“：[74125]，”常规“：[75]，”（固定）“：[76]，”mutual“：[77]，”recursive“：[78]，”procedures“：[79]，”studied“：[80]，”von“：[82]，”Oheimb“：[83]，”（FSTTCS，”：[84]，“1999），“：[85]，“我们”：[86]，“构造”：[87]，“相同”：[89]，“Streicher”：[94]，“使用”：[96]，“很多”：[98]，“simpler“：[99]，”model“：[100]，”avoiding“：[102]，”unnecessary“：[103]，”restrictions“：[104]，”on“：[105]，”use“：[107]，”rules。“：[111]，”此外“：[112]，”我们的“：[113]，”设置“：[114]，”句柄“：[115]，”不确定性“：[116]，”\u201c或“：[118]，”免费\u201d。“：[119]，”也“：[121]，”解释“：[122]，”演示“：[124]，”一个“：[126]，”示例“：[127]，”那，“：[128]，”相反“：[129]，”什么“：[131]，”有“：[132]，”被“：[133]，”陈述“：[134]，”在“：[135]，”文献，“：%137]，”做“：[142]，”支持“：[143]，”证明“：[144]，”其中“：[145]，”（在“：[147]，“特定”：[149]，“意义）”：[150]，“模块化”。“：[151]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1517654114“，”counts_by_year“：[{”年“：2022，”cited_by_count“：1}，{”年份“：2015，”cited_by_count”：1}，{“年”：2013，”citecd_by_count“：2}，”{“年份”：2012，”citted_by_count“:2}]，”updated_date“：”2024-09-23T22:36:25.231154“，”created_dated“：”2016-06-24“}