{"id":"https://openalex.org/W2049524532","doi":"https://doi.org/10.1145/1667048.1667050","title":"A relational approach to interprocedural shape analysis","display_name":"A relational approach to interprocedural shape analysis","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2049524532","doi":"https://doi.org/10.1145/1667048.1667050","mag":"2049524532"},"language":"en","primary_location":{"id":"doi:10.1145/1667048.1667050","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1667048.1667050","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1667048.1667050","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/1667048.1667050","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108367753","display_name":"Bertrand Jeannet","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I4210157684","display_name":"Institut f\u00fcr Regionale Innovation und Sozialforschung","ror":"https://ror.org/04r7vw960","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210157684"]}],"countries":["DE","FR"],"is_corresponding":true,"raw_author_name":"Bertrand Jeannet","raw_affiliation_strings":["INRIA","IRISA,"],"affiliations":[{"raw_affiliation_string":"INRIA","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"IRISA,","institution_ids":["https://openalex.org/I4210157684","https://openalex.org/I2802519937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054314962","display_name":"\u0410. \u0410. \u041b\u043e\u0433\u0438\u043d\u043e\u0432","orcid":"https://orcid.org/0000-0002-3966-4045"},"institutions":[{"id":"https://openalex.org/I4210135696","display_name":"GrammaTech (United States)","ror":"https://ror.org/03mwfxd89","country_code":"US","type":"company","lineage":["https://openalex.org/I4210135696"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexey Loginov","raw_affiliation_strings":["GrammaTech, Inc"],"affiliations":[{"raw_affiliation_string":"GrammaTech, Inc","institution_ids":["https://openalex.org/I4210135696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066155126","display_name":"Thomas Reps","orcid":"https://orcid.org/0000-0002-5676-9949"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thomas Reps","raw_affiliation_strings":["University of Wisconsin"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002512849","display_name":"Mooly Sagiv","orcid":null},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Mooly Sagiv","raw_affiliation_strings":["Tel Aviv University","Tel-Aviv University"],"affiliations":[{"raw_affiliation_string":"Tel Aviv University","institution_ids":["https://openalex.org/I16391192"]},{"raw_affiliation_string":"Tel-Aviv University","institution_ids":["https://openalex.org/I16391192"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5108367753"],"corresponding_institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I2802519937","https://openalex.org/I4210157684"],"apc_list":null,"apc_paid":null,"fwci":6.4782,"has_fulltext":true,"cited_by_count":33,"citation_normalized_percentile":{"value":0.96503378,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"32","issue":"2","first_page":"1","last_page":"52"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9943000078201294,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9937999844551086,"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.9076614379882812},{"id":"https://openalex.org/keywords/pointer-analysis","display_name":"Pointer analysis","score":0.7795528173446655},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.7274726033210754},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.6274013519287109},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.609558641910553},{"id":"https://openalex.org/keywords/heap","display_name":"Heap (data structure)","score":0.5491977334022522},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4555183947086334},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45105233788490295},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.44051721692085266},{"id":"https://openalex.org/keywords/transformer","display_name":"Transformer","score":0.41869065165519714},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3775341808795929},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16199904680252075}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9076614379882812},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.7795528173446655},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.7274726033210754},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.6274013519287109},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.609558641910553},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.5491977334022522},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4555183947086334},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45105233788490295},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.44051721692085266},{"id":"https://openalex.org/C66322947","wikidata":"https://www.wikidata.org/wiki/Q11658","display_name":"Transformer","level":3,"score":0.41869065165519714},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3775341808795929},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16199904680252075},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1667048.1667050","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1667048.1667050","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1667048.1667050","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-00786335v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-00786335","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Programming Languages and Systems (TOPLAS), 2010, 32 (2), pp.5:1--52. ⟨10.1145/1667048.1667050⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"doi:10.1145/1667048.1667050","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1667048.1667050","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1667048.1667050","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3754538974","display_name":null,"funder_award_id":"CCR-9986308CCF-0540955CCF-0524051","funder_id":"https://openalex.org/F4320337387","funder_display_name":"Division of Computing and Communication Foundations"},{"id":"https://openalex.org/G5114052075","display_name":null,"funder_award_id":"CCR-9986308CCF-0540955CCF-0524051","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5643251411","display_name":null,"funder_award_id":"and N00","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6507447573","display_name":null,"funder_award_id":"several","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7417909284","display_name":null,"funder_award_id":"N00014-01-1-0796N00014-01-1-0708","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G7591472818","display_name":"Collaborative Research: Advanced Static-Analysis Techniques for Ensuring Reliable Software","funder_award_id":"0540955","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7781858378","display_name":"Investigation of a New Compressed Representation of Boolean Functions","funder_award_id":"9986308","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8815722506","display_name":"CT-ISG: Advanced Methods for Checking Information-Security Properties","funder_award_id":"0524051","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320313934","display_name":"Institut national de recherche en informatique et en automatique (INRIA)","ror":"https://ror.org/02kvxyf05"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320337387","display_name":"Division of Computing and Communication Foundations","ror":"https://ror.org/01mng8331"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2049524532.pdf","grobid_xml":"https://content.openalex.org/works/W2049524532.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W120333500","https://openalex.org/W148396834","https://openalex.org/W152322867","https://openalex.org/W164415343","https://openalex.org/W1480370622","https://openalex.org/W1483359125","https://openalex.org/W1490638967","https://openalex.org/W1509268249","https://openalex.org/W1515252725","https://openalex.org/W1520962304","https://openalex.org/W1539066757","https://openalex.org/W1540180001","https://openalex.org/W1552065586","https://openalex.org/W1557880268","https://openalex.org/W1562865234","https://openalex.org/W1575079504","https://openalex.org/W1580584885","https://openalex.org/W1585404558","https://openalex.org/W1589224558","https://openalex.org/W1593165330","https://openalex.org/W1599366842","https://openalex.org/W1600925218","https://openalex.org/W1602537816","https://openalex.org/W1603721515","https://openalex.org/W1905205673","https://openalex.org/W1979619055","https://openalex.org/W1988441831","https://openalex.org/W1991837261","https://openalex.org/W1994511561","https://openalex.org/W2004419599","https://openalex.org/W2021986357","https://openalex.org/W2025554746","https://openalex.org/W2036157748","https://openalex.org/W2052664195","https://openalex.org/W2069969904","https://openalex.org/W2080573945","https://openalex.org/W2101936540","https://openalex.org/W2132661148","https://openalex.org/W2138245690","https://openalex.org/W2142481893","https://openalex.org/W2147543351","https://openalex.org/W2154929064","https://openalex.org/W2160520283","https://openalex.org/W2160563691","https://openalex.org/W2166858727","https://openalex.org/W2172022734","https://openalex.org/W2340735175","https://openalex.org/W2341995966","https://openalex.org/W2561675875","https://openalex.org/W2770491639","https://openalex.org/W2913459036","https://openalex.org/W3005728772","https://openalex.org/W3023968070","https://openalex.org/W3158747708","https://openalex.org/W4244831445","https://openalex.org/W4285719527","https://openalex.org/W6681575368"],"related_works":["https://openalex.org/W2553375745","https://openalex.org/W2363386825","https://openalex.org/W2188526093","https://openalex.org/W1996094959","https://openalex.org/W2999115679","https://openalex.org/W2622138879","https://openalex.org/W2352464313","https://openalex.org/W4206254495","https://openalex.org/W2156515038","https://openalex.org/W1557064363"],"abstract_inverted_index":{"This":[0],"article":[1,29],"addresses":[2],"the":[3,57,75,94,98,129,138],"verification":[4],"of":[5,7,19,82,97,100,163],"properties":[6,162],"imperative":[8],"programs":[9,167,174],"with":[10],"recursive":[11,166,173],"procedure":[12,120,143],"calls,":[13],"heap-allocated":[14],"storage,":[15],"and":[16,84,128,171],"destructive":[17],"updating":[18],"pointer-valued":[20],"fields,":[21],"that":[22,168,175],"is,":[23],"interprocedural":[24,114],"shape":[25,65,76,115],"analysis":[26],".":[27],"The":[28,117,154],"makes":[30],"three":[31],"contributions.":[32],"\u2014":[33,50,103],"It":[34,51,104],"introduces":[35],"a":[36,61,80,109,134,142],"new":[37,110],"method":[38,55],"for":[39,45,60,112,141],"abstracting":[40],"relations":[41,70,124],"over":[42,125],"memory":[43,126],"configurations":[44],"use":[46],"in":[47,108],"abstract":[48],"interpretation.":[49],"shows":[52],"how":[53],"this":[54],"furnishes":[56],"elements":[58],"needed":[59],"compositional":[62],"approach":[63],"to":[64,73,87,136,160],"analysis.":[66,116],"In":[67],"particular,":[68],"abstracted":[69,101,123],"are":[71],"used":[72],"represent":[74],"transformation":[77],"performed":[78,92],"by":[79],"sequence":[81],"operations,":[83],"an":[85],"overapproximation":[86],"relational":[88],"composition":[89,131],"can":[90],"be":[91],"using":[93,122],"meet":[95],"operation":[96,132],"domain":[99],"relations.":[102],"applies":[105],"these":[106],"ideas":[107],"algorithm":[111,118,155],"context-sensitive":[113],"creates":[119],"summaries":[121],"configurations,":[127],"meet-based":[130],"provides":[133],"way":[135],"apply":[137],"summary":[139],"transformer":[140],"P":[144,151],"at":[145],"each":[146],"call":[147],"site":[148],"from":[149],"which":[150],"is":[152],"called.":[153],"has":[156],"been":[157],"applied":[158],"successfully":[159],"establish":[161],"both":[164],"(i)":[165],"manipulate":[169,176],"lists":[170],"(ii)":[172],"binary":[177],"trees.":[178]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":6},{"year":2012,"cited_by_count":3}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}