{"id":"https://openalex.org/W1837958857","doi":"https://doi.org/10.1007/978-3-642-37051-9_4","title":"An Incremental Points-to Analysis with CFL-Reachability","display_name":"An Incremental Points-to Analysis with CFL-Reachability","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W1837958857","doi":"https://doi.org/10.1007/978-3-642-37051-9_4","mag":"1837958857"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-37051-9_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-37051-9_4","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031304262","display_name":"Yi L\u00fc","orcid":"https://orcid.org/0000-0002-2090-9057"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Yi Lu","raw_affiliation_strings":["Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, 2052, Australia"],"affiliations":[{"raw_affiliation_string":"Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, 2052, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032749792","display_name":"Lei Shang","orcid":"https://orcid.org/0000-0002-7458-3590"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Lei Shang","raw_affiliation_strings":["Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, 2052, Australia"],"affiliations":[{"raw_affiliation_string":"Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, 2052, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073623071","display_name":"Xinwei Xie","orcid":null},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]},{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU","CN"],"is_corresponding":false,"raw_author_name":"Xinwei Xie","raw_affiliation_strings":["Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, 2052, Australia","School of Computer Science, National University of Defence Technology, Changsha, 410073, China"],"affiliations":[{"raw_affiliation_string":"Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, 2052, Australia","institution_ids":["https://openalex.org/I31746571"]},{"raw_affiliation_string":"School of Computer Science, National University of Defence Technology, Changsha, 410073, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024664385","display_name":"Jingling Xue","orcid":"https://orcid.org/0000-0003-0380-3506"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Jingling Xue","raw_affiliation_strings":["Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, 2052, Australia"],"affiliations":[{"raw_affiliation_string":"Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, 2052, Australia","institution_ids":["https://openalex.org/I31746571"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5031304262"],"corresponding_institution_ids":["https://openalex.org/I31746571"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":10.695,"has_fulltext":false,"cited_by_count":66,"citation_normalized_percentile":{"value":0.99034749,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"61","last_page":"81"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9987999796867371,"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.9984999895095825,"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.9001366496086121},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.884354293346405},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6758924722671509},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.6515469551086426},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6054865121841431},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6044137477874756},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.5908880233764648},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5440998077392578},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5413216948509216},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5170791149139404},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.49653226137161255},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4760472774505615},{"id":"https://openalex.org/keywords/call-graph","display_name":"Call graph","score":0.46187448501586914},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.459978312253952},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.44464224576950073},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43556201457977295},{"id":"https://openalex.org/keywords/scratch","display_name":"Scratch","score":0.43352848291397095},{"id":"https://openalex.org/keywords/garbage-collection","display_name":"Garbage collection","score":0.41686180233955383},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.40695542097091675},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.252064973115921}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9001366496086121},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.884354293346405},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6758924722671509},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.6515469551086426},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6054865121841431},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6044137477874756},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.5908880233764648},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5440998077392578},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5413216948509216},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5170791149139404},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.49653226137161255},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4760472774505615},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.46187448501586914},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.459978312253952},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.44464224576950073},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43556201457977295},{"id":"https://openalex.org/C2781235140","wikidata":"https://www.wikidata.org/wiki/Q275131","display_name":"Scratch","level":2,"score":0.43352848291397095},{"id":"https://openalex.org/C105122174","wikidata":"https://www.wikidata.org/wiki/Q322202","display_name":"Garbage collection","level":3,"score":0.41686180233955383},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40695542097091675},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.252064973115921},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C75403996","wikidata":"https://www.wikidata.org/wiki/Q5521979","display_name":"Garbage","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-642-37051-9_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-37051-9_4","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.409.3668","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.3668","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.unsw.edu.au/~jingling/papers/cc13.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5199999809265137,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W39413271","https://openalex.org/W46012774","https://openalex.org/W1509382141","https://openalex.org/W1536098516","https://openalex.org/W1550786523","https://openalex.org/W1965604953","https://openalex.org/W1969559915","https://openalex.org/W1971782746","https://openalex.org/W1976943774","https://openalex.org/W1978594327","https://openalex.org/W1984914680","https://openalex.org/W1986703553","https://openalex.org/W1996567876","https://openalex.org/W1999517284","https://openalex.org/W2017842497","https://openalex.org/W2019386850","https://openalex.org/W2024779397","https://openalex.org/W2030166143","https://openalex.org/W2031364891","https://openalex.org/W2038899190","https://openalex.org/W2050320220","https://openalex.org/W2056331235","https://openalex.org/W2070012519","https://openalex.org/W2077617866","https://openalex.org/W2080573945","https://openalex.org/W2080696000","https://openalex.org/W2087612811","https://openalex.org/W2093080079","https://openalex.org/W2105225560","https://openalex.org/W2110833886","https://openalex.org/W2112936713","https://openalex.org/W2116574572","https://openalex.org/W2119137801","https://openalex.org/W2120339017","https://openalex.org/W2132874107","https://openalex.org/W2133497528","https://openalex.org/W2134569009","https://openalex.org/W2135565307","https://openalex.org/W2154847114","https://openalex.org/W2158600037","https://openalex.org/W2167363133","https://openalex.org/W2169304846","https://openalex.org/W2796564118","https://openalex.org/W2914074464","https://openalex.org/W3011557297","https://openalex.org/W3147482974","https://openalex.org/W4243644740"],"related_works":["https://openalex.org/W3089825636","https://openalex.org/W1567493346","https://openalex.org/W3003055204","https://openalex.org/W2930019028","https://openalex.org/W2955524408","https://openalex.org/W2545238856","https://openalex.org/W3120011499","https://openalex.org/W2737936389","https://openalex.org/W4360585599","https://openalex.org/W2914996832"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":6}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}