{“id”：“https://openalex.org/W2024851363“，”doi“：”https://doi.org/10.1145/41625.41636“，”title“：”严格性分析和指称性抽象解释“，”display_name“：”严密性分析和表征性抽象解释”，“publication_year”：1987，”publication_date“：”1987-01-01“，”ids“：{”openalex“：”https://openalex.org/W2024851363“，”doi“：”https://doi.org/10.1145/41625.41636“，”mag“：”2024851363“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/41625.41636“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5089639449“，”display_name“：”Flemming Nielson“，”orcid“：”https://orcid.org/0000-0001-7362-6176}，“机构”：[{“id”：https://openalex.org/I891191580“，”display_name“：”奥尔堡大学“，”ror“：”网址：https://ror.org/04m5j1k67“，”country_code“：”DK“，”type“：“教育”，”世系“：[”https://openalex.org/I891191580“]}]，”国家“：[”DK“]，”is_corresponding“：true，”raw_author_name“：”F.Nielson“，”raw _ afiliation_strings“：[“丹麦奥尔堡大学中心”]，”affiliations“：[{”raw _affiliation_string“：”丹麦奥尔堡学院中心“，”institution_ids“：[https://openalex.org/I891191580“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5089639449“]，”对应的机构ID“：[”https://openalex.org/I891191580“]，”apc_list“：null，”apc_payed“：null，”fwci“：1.55，”has_fulltext“：false，”cited_by_count“：14，”citation_normalized_p百分位数“：｛”value“：0.738404，”is_in_top_1_percent“：false，”is_in_top_1_percent“：false｝，”cited_by_percentle_year“：｛”min“：82，”max“：83｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：null，”last_page“：null｝，“is_retracted”：false，“is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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.9999，”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.998，”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.9976，“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/keywords/metalanguage网站“，”display_name“：”Metalanguage“，”score“：0.72153974}，{”id“：”https://openalex.org/keywords/normalisation-by-evaluation网站“，”display_name“：”评估归一化“，”score“：0.7128334}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.649908}，{”id“：”https://openalex.org/keywords/static-analysis网站“，”display_name“：”静态分析“，”score“：0.514585}，{”id“：”https://openalex.org/keywords/pi-calculus“，”display_name“：”Pi演算“，”score“：0.45814225}，{”id“：”https://openalex.org/keywords/domain-theory网站“，”display_name“：”Domain theory“，”score“：0.45243907}]，”concepts“：[{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.8060012}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”“display_name”“：”解释（哲学）“，”级别“：2，”分数“：0.7488781}，{”id“：”https://openalex.org/C142998047，“wikidata”：https://www.wikidata.org/wiki/Q193983“，”display_name“：”元语言“，”level“：2，”score“：0.72153974}，{”id“：”https://openalex.org/C87365073，“wikidata”：https://www.wikidata.org/wiki/Q7051843“，”display_name“：”评估标准化“，”level“：5，”score“：0.7128334｝，｛”id“：”https://openalex.org/C2780654840，“wikidata”：https://www.wikidata.org/wiki/Q333341“，”display_name“：”抽象解释“，”level“：2，”score“：0.7039741}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.56068}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.5274943}，{”id“：”https://openalex.org/C89448276，“wikidata”：https://www.wikidata.org/wiki/Q5259284（网址：https://www.wikidata.org/wiki/Q5259284）“，”display_name“：”Actor模型的指称语义“，”level“：5，”score“：0.511118}，{”id“：”https://openalex.org/C97686452，“wikidata”：https://www.wikidata.org/wiki/Q7604153“，”display_name“：”静态分析“，”level“：2，”score“：0.4994707}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.46760312}，{”id“：”https://openalex.org/C2984882572，“wikidata”：https://www.wikidata.org/wiki/Q602886“，”display_name“：”Pi演算“，”level“：2，”score“：0.45814225}，{”id“：”https://openalex.org/C29585364，“wikidata”：https://www.wikidata.org/wiki/Q1079166“，”display_name“：”领域理论“，”level“：2，”score“：0.45243907}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.34129602}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.32655662}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.29662362}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.28065085}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.21954563}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.13504648}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/41625.41636“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：11，“referrenced_works”：[”https://openalex.org/W1486128868网址","https://openalex.org/W1526879784","https://openalex.org/W1562824671","https://openalex.org/W1599561194","https://openalex.org/W1850564567","https://openalex.org/W1967177206","https://openalex.org/W1998717006","https://openalex.org/W2014764321","https://openalex.org/W2020530016","https://openalex.org/W2111304450","https://openalex.org/W2141956765“]，”related_works“：[”https://openalex.org/W8910829","https://openalex.org/W2803229276","https://openalex.org/W2604377475","https://openalex.org/W2110748634","https://openalex.org/W2032453924","https://openalex.org/W1968765218","https://openalex.org/W1929699059","https://openalex.org/W1844766828","https://openalex.org/W1584038246","https://openalex.org/W1526135121“]，”abstract_inverted_index“：{”A“：[0]，”理论“：[1,62]，”of“：[2,19,59,70,82]，”抽象“：[3,26]，”解释“：[4,27]，”[CoCo79]“：[5]，”is“：[6,15,89]，”开发“：[7,29]，”for“：[8,24,52,67]，”A“：[9,20,36,60,65,92100]，”typed“：[10,13]，”\u03bb-calculus“：[11,5]4]，“The“：[12,32]，”\u03bb-calculus“：[14]，”The“：[16,46,53,57,68,79,83]，”\ u201cstatic\u201d“：[17]，”部分“：[18]，”二级“：[21]，”指称“：[22]，”元语言“：[23]，”其中“：[25]，”是“：[28]，“in”：[30,39104]，“[Nie86]。“：[31]，“现在”：[33]，“发展”：[34]，“放松”：[35]，“条件”：[37]，“强加”：[38]，“Nie86]”：[40]，“和”：[41]，“这个”：[42]，“足够”：[43]，“到”：[44,49]，“制造”：[45]，“框架”：[47]，“适用”：[48]，“严格”：[50]，“分析”：[51,69]，“这”：[55]，“显示”：[56]，“可能性”：[58]，“一般”：[61]，“（和”：[63]，“因此”：[64]，“系统）”：[66]，“功能“：[71]，”程序。“：[72]，”“此外，”：[73]，“it”：[74,88]，“给出”：[75]，“更多”：[76]，“洞察力”：[77]，“进入”：[78]，“相对”：[80]，“精度”：[81]，“各种”：[84]，“分析。“：[85]，“In”：[86]，“specific”：[87]，“shown”：[90]，“that”：[91]，“collecting”：/93]，“（static”：[94]，“[CoCo79]）”：[95]，“semantics”：[96]，“exists”，“：[97]，“therus”：[98]，“answering”：[99]，“problem”：[101]，“left”：[102]，“open”：[103]，“[BHA86]。“：[105]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2024851363“，”counts_by_year“：[]，”updated_date“：”2024-08-13T08:08:16779499“，”created_dates“：”2016-06-24“}“