{"id":"https://openalex.org/W4406222666","doi":"https://doi.org/10.1145/3704882","title":"The Best of Abstract Interpretations","display_name":"The Best of Abstract Interpretations","publication_year":2025,"publication_date":"2025-01-07","ids":{"openalex":"https://openalex.org/W4406222666","doi":"https://doi.org/10.1145/3704882"},"language":"en","primary_location":{"id":"doi:10.1145/3704882","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704882","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3704882","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052881133","display_name":"Roberto Giacobazzi","orcid":"https://orcid.org/0000-0002-9582-3960"},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Roberto Giacobazzi","raw_affiliation_strings":["University of Arizona, Tucson, USA"],"raw_orcid":"https://orcid.org/0000-0002-9582-3960","affiliations":[{"raw_affiliation_string":"University of Arizona, Tucson, USA","institution_ids":["https://openalex.org/I138006243"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000629161","display_name":"Francesco Ranzato","orcid":"https://orcid.org/0000-0003-0159-0068"},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Ranzato","raw_affiliation_strings":["University of Padova, Padova, Italy"],"raw_orcid":"https://orcid.org/0000-0003-0159-0068","affiliations":[{"raw_affiliation_string":"University of Padova, Padova, Italy","institution_ids":["https://openalex.org/I138689650"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1245,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.81632641,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"9","issue":"POPL","first_page":"1355","last_page":"1385"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"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":"Logic, programming, and type systems","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9846000075340271,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3854300081729889}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3854300081729889}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3704882","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704882","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:www.research.unipd.it:11577/3544164","is_oa":true,"landing_page_url":"https://dl.acm.org/doi/10.1145/3704882","pdf_url":null,"source":{"id":"https://openalex.org/S4306402547","display_name":"Padua Research Archive (University of Padova)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I138689650","host_organization_name":"University of Padua","host_organization_lineage":["https://openalex.org/I138689650"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3704882","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704882","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4332300861","display_name":null,"funder_award_id":"FA9550-23-1-0544","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"}],"funders":[{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W31392846","https://openalex.org/W1492188176","https://openalex.org/W1498682591","https://openalex.org/W1500085611","https://openalex.org/W1524572619","https://openalex.org/W1559130486","https://openalex.org/W1573883024","https://openalex.org/W1582574957","https://openalex.org/W1908449836","https://openalex.org/W1968011359","https://openalex.org/W1973325907","https://openalex.org/W1979603971","https://openalex.org/W1998368317","https://openalex.org/W2014764321","https://openalex.org/W2031373197","https://openalex.org/W2036086780","https://openalex.org/W2043100293","https://openalex.org/W2046160987","https://openalex.org/W2069709605","https://openalex.org/W2082175363","https://openalex.org/W2102890180","https://openalex.org/W2106647551","https://openalex.org/W2127574686","https://openalex.org/W2158395308","https://openalex.org/W2293309991","https://openalex.org/W2333253576","https://openalex.org/W2771629016","https://openalex.org/W2803616382","https://openalex.org/W2886431776","https://openalex.org/W2906718832","https://openalex.org/W2996400411","https://openalex.org/W3158747708","https://openalex.org/W3169777496","https://openalex.org/W3175673396","https://openalex.org/W3207402727","https://openalex.org/W4249297534","https://openalex.org/W4281618949","https://openalex.org/W4296371626","https://openalex.org/W4319296027","https://openalex.org/W4323570470"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"We":[0,141,211],"study":[1],"\u201c":[2],"the":[3,11,29,46,51,55,70,81,92,96,103,106,120,124,129,157,161,183,192,197,218,226,265,294],"best":[4,12,56,82,130,162,198,227,295],"of":[5,16,50,75,99,105,109,123,126,159,166,175,195,221,269],"abstract":[6,14,25,39,47,62,73,97,132,137,164,184,200,219,242,267,274,289],"interpretations":[7,15,19],"\u201d,":[8],"that":[9,69,143,191,217,264],"is,":[10,146],"possible":[13,57,131,163,199,228,296],"programs.":[17],"Abstract":[18],"are":[20,54,90,115],"inductively":[21],"defined":[22],"by":[23,171,178],"composing":[24],"transfer":[26,48],"functions":[27,49],"for":[28],"basic":[30,52],"commands,":[31],"such":[32],"as":[33,288],"assignments":[34],"and":[35,151,291],"Boolean":[36],"guards.":[37],"However,":[38],"interpretation":[40,74,98,108,133,165,201,220,268],"is":[41,79,202,224,293],"not":[42,67,149,152,203],"compositional:":[43],"even":[44],"if":[45],"commands":[53],"ones":[58],"on":[59,134,240,271],"a":[60,76,135,222,236],"given":[61],"domain":[63,138,185,243],"A":[64,84,139,186,244,252,259,272,280,287,298],"this":[65,87,144,231,292],"does":[66],"imply":[68],"whole":[71],"inductive":[72,266],"program":[77,168,193,223,237],"p":[78,100,110,169,176,248,253,254,270,276,282],"still":[80],"in":[83,91,147,206,297],".":[85,111,140,187,260,299],"When":[86],"happens":[88],"we":[89,118,155,233],"optimal":[93],"scenario":[94],"where":[95],"coincides":[101],"with":[102,273],"abstraction":[104],"concrete":[107],"Our":[112],"main":[113],"contributions":[114],"threefold.":[116],"Firstly,":[117],"investigate":[119],"computability":[121],"properties":[122],"class":[125,145],"programs":[127],"having":[128,196],"fixed":[136],"show":[142,190,213],"general,":[148,207],"straightforward":[150],"recursive.":[153],"Secondly,":[154],"prove":[156,216],"impossibility":[158],"achieving":[160],"any":[167],"either":[170],"an":[172,241],"effective":[173],"compilation":[174],"or":[177,181],"minimally":[179],"refining":[180],"simplifying":[182],"These":[188,261],"results":[189],"property":[194],"trivial":[204],"and,":[205],"hard":[208],"to":[209,215],"achieve.":[210],"then":[212],"how":[214],"indeed":[225],"one.":[229],"To":[230],"aim,":[232],"put":[234],"forward":[235],"logic":[238],"parameterized":[239],"which":[245],"infers":[246],"triples":[247,262],"r":[249,277],"e":[250,278],"]":[251,258],"o":[255,283],"s":[256,284],"t":[257,285],"encode":[263],"input":[275],"\u2208":[279,286],"gives":[281],"output":[290]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}