{“id”：“https://openalex.org/W2060205259“，”doi“：”https://doi.org/10.1145/2814270.2814308“，”title“：”Galois transformers and modular abstract interpreslater:“可重用元理论用于程序分析”，“display_name”：“Galois transformers and module abstract terpreslater：”可重用元原理用于程序分析“，”publication_year“：2015，”publiction_date“：”2015-10-23“，”ids“：{”openalex“：”https://openalex.org/W2060205259“，”doi“：”https://doi.org/10.1145/2814270.2814308“，”mag“：”2060205259“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/2814270.2814308，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/2814270.2814308“，”“source”“：null，”“license”“：null，”“license_id”“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”preprint“，”type_crossref“：“proceedings-article”“，”indexed_in“：[”arxiv“，”crossref“，”datacite“]，”open_access“：{”is_oa“：true，”“oa_status”：”青铜“，”oa_url“：”https://dl.acm.org/doi/pdf/10.1145/2814270.2814308“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5019557654“，”display_name“：”David Darais“，”orcid“：”https://orcid.org/0000-0003-2314-0287}，“机构”：[{“id”：https://openalex.org/I66946132“，”display_name“：”马里兰大学，学院公园“，”ror“：”https://ror.org/047s2c258“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I66946132“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”David Darais“，”raw _ afiliation_strings“：[“美国马里兰大学大学帕克分校”]，”affiliations“：[{”raw_ afiliation _string“：”马里兰大学帕克学院，美国“，”institution_ids“:[”https://openalex.org/I66946132“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5086121459“，”display_name“：”Matthew Might“，”orcid“：”https://orcid.org/0000-0002-8430-5316}，“机构”：[{“id”：https://openalex.org/I223532165“，”display_name“：”犹他大学“，”ror“：”https://ror.org/03r0ha626“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I223532165“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Matthew Might“，”raw _affiliation_strings“：[“美国犹他大学”]，”affiliations“：[{”raw _affiliation_string“：”犹他大学，美国“，”institution_ids“：[https://openalex.org/I223532165“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5091183810“，”display_name“：”David Van Horn“，”orcid“：”https://orcid.org/0000-0002-9201-6864}，“机构”：[{“id”：https://openalex.org/I66946132“，”display_name“：”马里兰大学，学院公园“，”ror“：”https://ror.org/047s2c258“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I66946132“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”David Van Horn“，”raw _ afiliation_strings“：[“美国马里兰大学大学帕克分校”]，”affiliations“：[{”raw_ afiliation _string“：”马里兰大学帕克学院，美国“，”institution_ids“：[https://openalex.org/I66946132“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]“apc_list”：null，”apc_payed“：null”，“fwci”：null，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count）：27，”citation_normalized_percentile“：{”“value”：0.978792，“is_in_top_1_percent”：false，“is_in_top_10_percent”：true}，“cited_by_percentle_year“：｛”min“：93，”max“：94｝，”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.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“：”Physical Sciences“｝｝，”topics“：[｛”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.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/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9953，”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/soundness网站“，”display_name“：”声音“，”分数“：0.7754803}，{”id“：”https://openalex.org/keywords/元理论“，”display_name“：”Metatheory“，”score“：0.56584024}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.515304}，{”id“：”https://openalex.org/keywords/static-analysis网站“，”display_name“：”静态分析“，”score“：0.505768}]，”concepts“：[{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.7754803}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.7621481}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6365089｝，｛”id“：”https://openalex.org/C39387531，“wikidata”：https://www.wikidata.org/wiki/Q1096708“，”display_name“：”元理论“，”level“：2，”score“：0.56584024}，{”id“：”https://openalex.org/C122783720，“wikidata”：https://www.wikidata.org/wiki/Q183065“，”display_name“：”口译员“，”level“：2，”score“：0.5118727}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.49910307}，{”id“：”https://openalex.org/C97686452，“wikidata”：https://www.wikidata.org/wiki/Q7604153“，”display_name“：”静态分析“，”level“：2，”score“：0.46868876}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.37403125}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.16928849}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：5，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/2814270.2814308，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/2814270.2814308“，”source“：null，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”http://arxiv.org/abs/1411.3962，“pdf_url”：http://arxiv.org/pdf/1411.3962“，”源“：｛”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/1411.3962，“pdf_url”：https://arxiv.org/pdf/1411.3962“，”源“：｛”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.720.9314，“pdf_url”：http://matt.milt.net/papers/darais2015galois.pdf“，”源“：｛”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.1411.3962“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1145/2814270.2814308，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/2814270.2814308“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：{”funder“：”https://openalex.org/F4320306076“，”“funder_display_name”：“国家科学基金会”，“award_id”：“CAREER 1350344”}，{“funder”：“https://openalex.org/F4320332180“，”“funder_display_name”：“国防高级研究计划局”，“award_id”：“FA8750-15-2-0092，FA8750-12-2-0106”}]，“数据集”：[]，“版本”：[“https://openalex.org/W2060205259","https://openalex.org/W3104024786“]，”referenced_works_count“：28，”referrenced_works“：[”https://openalex.org/W10127936","https://openalex.org/W148396834","https://openalex.org/W1553894716","https://openalex.org/W1599217540","https://openalex.org/W166407345","https://openalex.org/W1969599528","https://openalex.org/W1975914482","https://openalex.org/W2013885073","https://openalex.org/W2014764321","https://openalex.org/W2032137108","https://openalex.org/W2037984920","https://openalex.org/W2043100293","https://openalex.org/W2046656770","https://openalex.org/W2046699259","https://openalex.org/W2051527230","https://openalex.org/W2103714221","https://openalex.org/W2105443946","https://openalex.org/W2110507526","https://openalex.org/W2140430779","https://openalex.org/W2141576692","https://openalex.org/W2142098311","https://openalex.org/W2149237601","https://openalex.org/W2162544703","https://openalex.org/W4235410435","https://openalex.org/W4250522981","https://openalex.org/W4251478049","https://openalex.org/W52562630","https://openalex.org/W781716309“]，”related_works“：[”https://openalex.org/W4390604711","https://openalex.org/W3122371259","https://openalex.org/W2979331965","https://openalex.org/W2950202488","https://openalex.org/W2867457158","https://openalex.org/W2750284450","https://openalex.org/W2604424424","https://openalex.org/W2405455629","https://openalex.org/W2159846532","https://openalex.org/W1756852158“]，”abstract_inverted_index“：{”The“：[0]，”design“：[1193]，”and“：[2,23,31,40,57103127140144176194]，”implementation“：[3,56195]，”of“：[4,43,52,63,89113156165211]，”static“：[5,37,66]，”analyzers“：[6,67207]，”has“：%7]，”become“：[8]，”increased“：[9]，”systemalized“：[10]，”Yet“：[11]，”for“：[12,96128174179]，“a“：[13,50,82,87119132157171197209]，”给定“：[14]，”语言“：[15115]，”或“：[16]，”分析“：[17,38,98134138192]，”特征“：[18]，”it“：[19,33131]，”经常“：[20]，”需要“：[21]，”繁琐“：[22]，”错误“：[24]，“容易发生”：[25]，”工作“：[26]，“到”：[27196204]，“实现”：[28,93]，“an”：[29]，“分析器”：[30]，“证明”：[32]，“声音。“：[34]，“In”：[35,79]，“short”，：[36]，“features”：[39139]，“their”：[41]，“proof”：[42148]，“soundness”：[44147]，“do”：%45]，“not”：[C6150]，“compose”：[47]，“well”：[48]，“causing”：[49]，“death”：[51]，“reuse”：[53]，“In”：[54191]，“both”：[55]，“metatheory”。“：[58]，“We”：[59]，“solve”：[60]，“the”：[61114154187202]，“problem”：[62]，“systemally”：[64]，“constructing”：[65]，“by”：[68163]，“introduction”：[69]，“Galois”：[70,76120168184]，“transformers:”：[71]，“monad”：[72,90158]，“transformers”：[73,91169185]，“that”：[74,92]，“运输”：[75]，“连接”：[77]，“属性。“：[78]，”concert“：[80]，”with“：[81]，”monadic“：[83]，”interpreter“：[84]，”we“：+85]，”define“：[86]，”library“：88]，”building“：/94]，”blocks“：[95]，”classic“：[97]，“parameters”：[99]，“like”：[100]，“context”：[101]，“path，”：[102]，“heap”：[104]，“（in）sensitivity。“：[105]，”“此外，”“：[106]，”这些“：[107183]，”可以“：[108122]，”是“：[109123151]，”组成“：[110]，”一起“：[111]，”独立“：[112]，”存在“：[116]，”被分析。“：[117]，”重要“：[118]，”变压器“：[121159]，”证明“：[124]，”声音“：[125162206]，”一次“：[126]，”全部“：[129]，”制造“：[130]，”可重用“：[133175]，”组件。“：[135]，”作为“：[136]，”新“：[137]，”抽象“：[141]，”是“：[142]，”开发“：[143]，”混合“：[145]，”in，“：[146]，”需要“：[149]，”重建“：[152]，”为“：[153]，”组成“：[155]，”堆栈“：[160]，”is“：[161]，”美德“：[164]，”其“：[166]，”成分。“：[167]，”提供“：[170]，”可行“：[172]，”基础“：[173]，”可组合“：[177]，”元理论“：[178]，”程序“：[180]，”分析。“：[181]，”最后，“：[182]，”移位“：[186]，”等级“：[188198]，”抽象“：[190]，”其中“：[199]，”非专业“：[200]，”有“：[201]，”能力“：[203]，”综合“：[205]，”超过“：[208]，”数量“：[210]，”参数。“：[212]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2060205259“，”counts_by_year“：[{”年“：2024，”cited_by_count“：4}，{”年份“：2023，”ciped_by_cunt“：1}，”{“年份”：2022，“cited_by_count”：1}，{“年”：2021，”cited_by_count“年份”：2017，“引用_by_count”：2}，{“年份”:2016，“引用_ by_counts”：5}，}“年份“：2015，“引用的by_count:2}，{“年份”：2014，“引用_ by_count”：1}]，“更新日期”：“2024-09-13T02:10:15.090965”，“创建时间”：“2016-06-24”}