乐胖代购免代理版

{"id":"https://openalex.org/W2125725994","doi":"https://doi.org/10.1145/996821.996835","title":"Efficient field-sensitive pointer analysis for C","display_name":"Efficient field-sensitive pointer analysis for C","publication_year":2004,"publication_date":"2004-06-07","ids":{"openalex":"https://openalex.org/W2125725994","doi":"https://doi.org/10.1145/996821.996835","mag":"2125725994"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/996821.996835","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":"http://www.dsi.unive.it/%7Eavp/pearce.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008538442","display_name":"David J. Pearce","orcid":"https://orcid.org/0000-0003-4535-9677"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David J. Pearce","raw_affiliation_strings":["Imperial College , London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College , London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000319133","display_name":"Paul H. J. Kelly","orcid":"https://orcid.org/0000-0001-5905-1804"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Paul H. J. Kelly","raw_affiliation_strings":["Imperial College , London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College , London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013709529","display_name":"Chris Hankin","orcid":"https://orcid.org/0000-0001-9149-8577"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Chris Hankin","raw_affiliation_strings":["Imperial College , London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College , London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.278,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":46,"citation_normalized_percentile":{"value":0.873664,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":92,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"37","last_page":"42"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997,"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.9997,"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.9993,"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.9987,"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/pointer-analysis","display_name":"Pointer analysis","score":0.65939766},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5358431}],"concepts":[{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.8555281},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7904805},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.65939766},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.61315084},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5358431},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.51823235},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.48936123},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45867854},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.40315765},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35285133},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.33384037},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19817188},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/996821.996835","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.2788","pdf_url":"http://www.dsi.unive.it/%7Eavp/pearce.pdf","source":{"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":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.2788","pdf_url":"http://www.dsi.unive.it/%7Eavp/pearce.pdf","source":{"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":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":96,"referenced_works":["https://openalex.org/W138544189","https://openalex.org/W145782308","https://openalex.org/W1506151672","https://openalex.org/W1507046749","https://openalex.org/W1509382141","https://openalex.org/W1518169998","https://openalex.org/W1519800400","https://openalex.org/W1532312848","https://openalex.org/W1536051636","https://openalex.org/W1536098516","https://openalex.org/W1539432158","https://openalex.org/W1543471126","https://openalex.org/W1545908890","https://openalex.org/W1548858116","https://openalex.org/W1553894716","https://openalex.org/W1559362703","https://openalex.org/W1567014300","https://openalex.org/W1579850852","https://openalex.org/W1581551064","https://openalex.org/W1596365597","https://openalex.org/W1596552075","https://openalex.org/W1599366842","https://openalex.org/W1602885681","https://openalex.org/W1734116059","https://openalex.org/W1755257908","https://openalex.org/W1921315132","https://openalex.org/W1926956344","https://openalex.org/W1963569294","https://openalex.org/W1963770705","https://openalex.org/W1970759612","https://openalex.org/W1974604404","https://openalex.org/W1975514564","https://openalex.org/W1976943774","https://openalex.org/W1977760787","https://openalex.org/W1979253984","https://openalex.org/W1979867605","https://openalex.org/W1984914680","https://openalex.org/W1986334602","https://openalex.org/W1990053053","https://openalex.org/W1990199656","https://openalex.org/W1993836075","https://openalex.org/W1996146601","https://openalex.org/W1998285060","https://openalex.org/W2003675210","https://openalex.org/W2004282214","https://openalex.org/W2009911326","https://openalex.org/W2017842497","https://openalex.org/W2020841721","https://openalex.org/W2022443117","https://openalex.org/W2028782479","https://openalex.org/W2036208810","https://openalex.org/W2040152339","https://openalex.org/W2044354349","https://openalex.org/W2044529811","https://openalex.org/W2044735058","https://openalex.org/W2046699259","https://openalex.org/W2048639238","https://openalex.org/W2055084740","https://openalex.org/W2060365801","https://openalex.org/W2064885277","https://openalex.org/W2065088439","https://openalex.org/W2069476565","https://openalex.org/W2069482167","https://openalex.org/W2074954052","https://openalex.org/W2075309900","https://openalex.org/W2077102566","https://openalex.org/W2084063516","https://openalex.org/W2084816051","https://openalex.org/W2087612811","https://openalex.org/W2088126145","https://openalex.org/W2091141964","https://openalex.org/W2095115578","https://openalex.org/W2096587139","https://openalex.org/W2098688018","https://openalex.org/W2099587209","https://openalex.org/W2102389857","https://openalex.org/W2103228939","https://openalex.org/W2105256796","https://openalex.org/W2110833886","https://openalex.org/W2113238444","https://openalex.org/W2114331377","https://openalex.org/W2118382442","https://openalex.org/W2131135493","https://openalex.org/W2133608633","https://openalex.org/W2141442517","https://openalex.org/W2149237601","https://openalex.org/W2150138144","https://openalex.org/W2151360539","https://openalex.org/W2156549049","https://openalex.org/W2158600037","https://openalex.org/W2162045655","https://openalex.org/W2165069483","https://openalex.org/W2170736936","https://openalex.org/W2852225","https://openalex.org/W2914074464","https://openalex.org/W87876516"],"related_works":["https://openalex.org/W3147482974","https://openalex.org/W3121955897","https://openalex.org/W2999115679","https://openalex.org/W2553375745","https://openalex.org/W2370320024","https://openalex.org/W2363386825","https://openalex.org/W2362627649","https://openalex.org/W2213281886","https://openalex.org/W2188526093","https://openalex.org/W1996094959"],"abstract_inverted_index":{"The":[0],"subject":[1],"of":[2,35,48,58],"this":[3],"paper":[4],"is":[5,66],"flow-":[6],"and":[7,21,29,31],"context-insensitive":[8],"pointer":[9],"analysis.":[10],"We":[11,37],"present":[12],"a":[13,45],"novel":[14],"approach":[15],"for":[16],"precisely":[17],"modelling":[18],"struct":[19],"variables":[20],"indirect":[22],"function":[23],"calls.":[24],"Our":[25,60],"method":[26],"emphasises":[27],"efficiency":[28],"simplicity":[30],"extends":[32],"the":[33,40,63],"language":[34],"set-constraints.":[36],"experimentally":[38],"evaluate":[39],"precision":[41],"cost":[42],"trade-off":[43],"using":[44],"benchmark":[46],"suite":[47],"7":[49],"common":[50],"C":[51],"programs":[52],"between":[53],"5,000":[54],"to":[55,69],"150,000":[56],"lines":[57],"code.":[59],"results":[61],"indicate":[62],"field-sensitive":[64],"analysis":[65],"more":[67],"expensive":[68],"compute,":[70],"but":[71],"yields":[72],"significantly":[73],"better":[74],"precision.":[75]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2125725994","counts_by_year":[{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":4}],"updated_date":"2025-01-06T01:16:47.271284","created_date":"2016-06-24"}