{“id”：“https://openalex.org/W3175673396“，”doi“：”https://doi.org/10.109/lics52264.2021.9470608“，”title“：”局部完整抽象解释的逻辑“，”display_name“：”本地完整抽象解释逻辑“，“publication_year”：2021，”publication_date“：”2021-06-29“，”ids“：{”openalex“：”https://openalex.org/W3175673396“，”doi“：”https://doi.org/10.109/lics52264.2021.9470608“，”mag“：”3175673396“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470608“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://www.research.unipd.it/bitstream/11577/3400197/1/cameraready.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5031236056“，”display_name“：”Roberto Bruni“，”orcid“：”https://orcid.org/0000-0002-3035-5510}，“机构”：[{“id”：https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I108290504“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Roberto Bruni“，”raw _ afiliation_strings“：[“意大利比萨大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5052881133“，”display_name“：”Roberto Giacobazzi“，”orcid“：”https://orcid.org/0000-0002-9582-3960}，“机构”：[{“id”：https://openalex.org/I119439378“，”display_name“：”维罗纳大学“，”ror“：”https://ror.org/039bp8j42“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I119439378“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Roberto Giacobazzi“，”raw _ afiliation_strings“：[“意大利维罗纳大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5090195630“，”display_name“：”Roberta Gori“，”orcid“：”https://orcid.org/0000-0002-7424-9576}，“机构”：[{“id”：https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I108290504“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Roberta Gori“，”raw _affiliation_strings“：[“意大利比萨大学”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5000629161“，”display_name“：”Francesco Ranzato“，”orcid“：”https://orcid.org/0000-0003-0159-0068}，“机构”：[{“id”：https://openalex.org/I138689650“，”display_name“：”帕多瓦大学“，”ror“：”https://ror.org/00240q980“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I138689650“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Francesco Ranzato“，”raw _ afiliation_strings“：[“意大利帕多瓦大学”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：3，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]“apc_list”：null，”apc_payed“：null”，“has_fulltext”：true，“fulltext_origin“：”pdf“，”cited_by_count“：20，”cited_by_percentile_year“：{“min”：95，“max”：96}，“biblio”：{”volume“：null，“issue”：null、“first_page”：null，“last_page”：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“:{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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/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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9983，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”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/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.680417}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.519942}]，”concepts“：[{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.9105858}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.883911}，{”id“：”https://openalex.org/C2780654840，“wikidata”：https://www.wikidata.org/wiki/Q333341“，”display_name“：”抽象解释“，”level“：2，”score“：0.85186815}，{”id“：”https://openalex.org/C40422974，“wikidata”：https://www.wikidata.org/wiki/Q741248“，”display_name“：”Assertion“，”level“：2，”score“：0.7701014｝，｛”id“：”https://openalex.org/C165464430，“wikidata”：https://www.wikidata.org/wiki/Q1570441“，”display_name“：”参数化复杂性“，”level“：2，”score“：0.74114573}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”display_name“：”解释（哲学）“，”级别“：2，”分数“：0.69669336}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.683698}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661（网址：https://www.wikidata.org/wiki/Q673661）“，”display_name“：”抽象“，”级别“：2，”分数“：0.5503442}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.51341}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5108037}，{”id“：”https://openalex.org/C2776639384，“wikidata”：https://www.wikidata.org/wiki/Q840396“，”display_name“：”理想（道德）“，”level“：2，”score“：0.47259623｝，｛”id“：”https://openalex.org/C27777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.45047224}，{”id“：”https://openalex.org/C98183937，“wikidata”：https://www.wikidata.org/wiki/Q2112188“，”display_name“：”Program analysis“，”level“：2，”score“：0.41916516｝，｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3879052}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.34787455}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”“display_name”“：”“微积分（牙科）”“，”级别“：2，”分数“：0.34156087}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.2820602}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.19779193}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470608“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://hdl.handle.net/11577/3400197，“pdf_url”：https://www.research.unipd.it/bitstream/11577/3400197/1/cameraready.pdf“，”源“：｛”id“：”https://openalex.org/S4306402448“，”display_name“：”帕多瓦研究档案馆（帕多瓦大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I138689650“，”“host_organization_name”：“帕多瓦大学”，“host_organization_lineage”：[“https://openalex.org/I138689650“]，”host_organization_lineage_names“：[”Padua大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/11577/3400197，“pdf_url”：https://www.research.unipd.it/bitstream/11577/3400197/1/cameraready.pdf“，”源“：｛”id“：”https://openalex.org/S4306402448“，”display_name“：”帕多瓦研究档案馆（帕多瓦大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I138689650“，”“host_organization_name”：“帕多瓦大学”，“host_organization_lineage”：[“https://openalex.org/I138689650“]，”host_organization_lineage_names“：[”Padua大学“]，“type”：“repository”}，“license”：null，“liccense_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W1500085611","https://openalex.org/W1575079504","https://openalex.org/W1599380282","https://openalex.org/W1599883712","https://openalex.org/W1998368317","https://openalex.org/W2010626618","https://openalex.org/W2014764321","https://openalex.org/W2043100293","https://openalex.org/W2046160987","https://openalex.org/W2085858676","https://openalex.org/W2106647551","https://openalex.org/W2124209077","https://openalex.org/W2125872407","https://openalex.org/W2163563828","https://openalex.org/W2165069483","https://openalex.org/W2771629016","https://openalex.org/W2784876765","https://openalex.org/W2964232059","https://openalex.org/W2987907651","https://openalex.org/W2996400411","https://openalex.org/W3043626952","https://openalex.org/W3105106018","https://openalex.org/W4234924236","https://openalex.org/W4251912342","https://openalex.org/W777621473“]，”related_works“：[”https://openalex.org/W4387885358","https://openalex.org/W3175673396","https://openalex.org/W2525463489","https://openalex.org/W2395339009","https://openalex.org/W2157660637","https://openalex.org/W2029178560","https://openalex.org/W1582574957","https://openalex.org/W1575117228","https://openalex.org/W1515080744","https://openalex.org/W1513694581“]，”ngrams_url“：”https://api.openalex.org/works/W3175673396/ngrams网站“，”“abstract_inverted_index”：{“We”：[0]，“introduce”：[1]，“the”：[2,17,61,78104128141164171178200211231]，“concept”：[3,99]，“of”：[4,21,40,80100130148170182203]，“local”：[5101153]，“complete”：[6102]，“in”：[7155180234]，“abstract”：[8,42,83201]，“interpretation”：[9,43202]，“and”：[10,19,69,67117146184]，“定义”：[11]，“a“：[12,93131156]，“逻辑”：[13]，“for”：[14,45,56,89140210]，“证明”：[15]，“两者”：[16]，“正确性”：[18,58]，“错误性”：[20]，“一些”：[22110]，“程序”：[23,337115149]，“规范”。“：[24]，”抽象“：[25]，”是“：[27,87127167192250]，”广泛“：[28]，”使用“：[29]，”to“：[30152]，”设计“：[31129]，”声音-结构“：[32]，”分析“：[34]，”that“：[35,77177190229241]，”过近似“：[36]，”行为。“：[38150]，”完整性“：[39]，”an“：[41,53136168]，”A“：[44,86,97181221]，”all“：[46,90230]，”可能“：[47]，”programs“：[48,81]，”inputs“：[50,91116]，”would“：[51]，”be“：[52,64]，”理想“：[54]，”situation“：[55]，”verifying“：[57]，”specifications“：[59]，”because“：[60]，”analysis“：[62,84]，“可以”：[63]，“完成”：[65]，“成分”：[66]，“否”：[68217]，“假“：[69208]，”警报“：[70]，”将“：[71]，”出现。“：[72]，“我们的”：[73]，“第一个”：[74142]，“结果”：[75]，“显示”：[76]，“类”：[79]，“其”：[82]，“on”：[85]，“完成”：[88]，“有”：[92216]，“严重”：[94]，“有限”：[95]，“表现力”。“：[96]，”novel“：[98]，”weakens“：[103]，”abover“：[105]，”requirements“：[106]，”by“：[107135]，”considering“：[108]，”only“：[109227]，”specific“，”：[111]，“not”：[112]，“than”：[113]，“all”：[114]，“因此”：[118]，“发现”：[119]，“更广泛”：[120]，“适用性。“：[121]，“In”：[122]，“事实”：[123]，“我们的”：[124]，“主”：[125]，“贡献”：[126]，“证明”：[132]，“系统”，“：[133]，“参数化”：[134]，“抽象”：[137]，“A，”：[138]，“that，”：%139]，“时间”：[143]，“组合”：[144]，“over-”：%145]，“under-approximations”：[147]，“谢谢”：[151]，“完整性，”：[154]，“可证明”：[157]，“三重”：[158]，“\u22a2A”：[159]，“[P”：[160222]，“]”：[161223]，“c”：[162204224249]，“[Q]，”：[163]，“断言”：[165]，“Q”：[166183191215235243]，《近似不足》：[169]，“最强”：[172]，“后置条件”：[173]，“后[c]（P”：[174185]，“）”：[175186]，“such”：[176]，“抽象”：[179]，“重合”：[187]，“This”：[188]，“表示”：[189]，“从未”：[193]，“太”：[194]，“粗糙”，：[195]，“即”：[196]，“低于”：[197]，“温和”：[198]，“假设”：[199]，“做”：[205244]，“不”：[206226245]，“收益率”：[207]，“警报”：[209232247]，“输入”：[212]，“P”：[213]，“iff”：[214]，“警报。”：[218]，“因此，”：[219]，“\u22a2”：[220]，“[Q]”：[225]，“确保”：[228]，“提高”：[233]，“are”：[236]，“true”：[237]，“ones”，：[238]，“but”：[239]，“also”：[240]，“if”：[242]，“raise”：[246]，“then”：[248]，“correct”：[251]}，“引用_ by_api_url”：“https://api.openalex.org/works？filter=cites:W3175673396“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”ciped_by_cunt“：8}，”年“:2022，”cited_bycount“:8}、{”年度“：2021，”citted_by_count”：2}]，”更新日期“：”2024-05-22T20:21:11.500723“，”创建日期“：“2021-07-05”}