{"id":"https://openalex.org/W95743150","doi":"https://doi.org/10.1007/978-3-642-16558-0_46","title":"Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination","display_name":"Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W95743150","doi":"https://doi.org/10.1007/978-3-642-16558-0_46","mag":"95743150"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-16558-0_46","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-16558-0_46","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":"conference-paper","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/A5100340627","display_name":"Qian Li","orcid":"https://orcid.org/0000-0002-8308-9551"},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Li Qian","raw_affiliation_strings":["Department of Computer Science and Technology, Nanjing University, 210093, Nanjing, P.R. China","The State Key Laboratory of Novel Software Technology of China, China","Department of Computer Science and Technology, Nanjing University, Nanjing, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, 210093, Nanjing, P.R. China","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"The State Key Laboratory of Novel Software Technology of China, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, Nanjing, P.R. China","institution_ids":["https://openalex.org/I36399199"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016311643","display_name":"Zhao Jian-hua","orcid":"https://orcid.org/0000-0001-9605-2275"},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhao Jianhua","raw_affiliation_strings":["Department of Computer Science and Technology, Nanjing University, 210093, Nanjing, P.R. China","The State Key Laboratory of Novel Software Technology of China, China","Department of Computer Science and Technology, Nanjing University, Nanjing, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, 210093, Nanjing, P.R. China","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"The State Key Laboratory of Novel Software Technology of China, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, Nanjing, P.R. China","institution_ids":["https://openalex.org/I36399199"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090810072","display_name":"Xuandong Li","orcid":"https://orcid.org/0000-0003-3090-9568"},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Li Xuandong","raw_affiliation_strings":["Department of Computer Science and Technology, Nanjing University, 210093, Nanjing, P.R. China","The State Key Laboratory of Novel Software Technology of China, China","Department of Computer Science and Technology, Nanjing University, Nanjing, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, 210093, Nanjing, P.R. China","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"The State Key Laboratory of Novel Software Technology of China, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, Nanjing, P.R. China","institution_ids":["https://openalex.org/I36399199"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"564","last_page":"578"},"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.9997000098228455,"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.9997000098228455,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9976000189781189,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8217732906341553},{"id":"https://openalex.org/keywords/automatic-summarization","display_name":"Automatic summarization","score":0.6969591379165649},{"id":"https://openalex.org/keywords/transitive-closure","display_name":"Transitive closure","score":0.6918219327926636},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5860505104064941},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.45130762457847595},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.44436579942703247},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4341382086277008},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4223378300666809},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15599939227104187},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.150984525680542},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12049621343612671},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11123725771903992}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8217732906341553},{"id":"https://openalex.org/C170858558","wikidata":"https://www.wikidata.org/wiki/Q1394144","display_name":"Automatic summarization","level":2,"score":0.6969591379165649},{"id":"https://openalex.org/C128896722","wikidata":"https://www.wikidata.org/wiki/Q1501387","display_name":"Transitive closure","level":2,"score":0.6918219327926636},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5860505104064941},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.45130762457847595},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.44436579942703247},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4341382086277008},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4223378300666809},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15599939227104187},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.150984525680542},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12049621343612671},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11123725771903992},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-16558-0_46","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-16558-0_46","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1533004102","https://openalex.org/W1543471126","https://openalex.org/W2020841721","https://openalex.org/W2055084740","https://openalex.org/W2065088439","https://openalex.org/W2069476565","https://openalex.org/W2110833886","https://openalex.org/W2125725994","https://openalex.org/W2131135493","https://openalex.org/W2149237601","https://openalex.org/W2150138144"],"related_works":["https://openalex.org/W2366403280","https://openalex.org/W1495108544","https://openalex.org/W2091301346","https://openalex.org/W3148229873","https://openalex.org/W2150160875","https://openalex.org/W4242223894","https://openalex.org/W1517524280","https://openalex.org/W4323520239","https://openalex.org/W3035035809","https://openalex.org/W145334972"],"abstract_inverted_index":null,"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}