{"id":"https://openalex.org/W2363386825","doi":null,"title":"Intraprocedural Alias Analysis for Pointer Array","display_name":"Intraprocedural Alias Analysis for Pointer Array","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W2363386825","mag":"2363386825"},"language":"en","primary_location":{"id":"mag:2363386825","doi":null,"is_oa":false,"landing_page_url":"http://www.cs.toronto.edu/~yijun/literature/paper/huang99jos.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Journal of Software","raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5100836413","display_name":"Chuanqi Zhu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Chuanqi Zhu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5100836413"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.6547999978065491,"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/T10126","display_name":"Logic, programming, and type systems","score":0.6547999978065491,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.33009999990463257,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.001500000013038516,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/c-programs","display_name":"C programs","score":0.9459999799728394}],"concepts":[{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.9661105871200562},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.9133867621421814},{"id":"https://openalex.org/C46681722","wikidata":"https://www.wikidata.org/wiki/Q4725589","display_name":"Alias","level":2,"score":0.8745988607406616},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8215112090110779},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.43769699335098267},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.35423147678375244},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3255006670951843},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.18628200888633728},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.17599135637283325},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.17035725712776184}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2363386825","doi":null,"is_oa":false,"landing_page_url":"http://www.cs.toronto.edu/~yijun/literature/paper/huang99jos.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Journal of Software","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1996146601","https://openalex.org/W2357445769","https://openalex.org/W7005201359","https://openalex.org/W3003698748","https://openalex.org/W4255249960","https://openalex.org/W29413014","https://openalex.org/W2349639756","https://openalex.org/W2291222735","https://openalex.org/W2347849237","https://openalex.org/W7066808444"],"abstract_inverted_index":{"Pointer":[0],"alias":[1,64],"analysis":[2,65,78],"plays":[3],"an":[4,32,60],"important":[5],"role":[6],"in":[7],"the":[8,16,26,45,53,75,97],"parallelizing":[9],"optimization":[10],"of":[11,48,56,62],"C":[12],"program,":[13],"however,":[14],"all":[15],"previous":[17,98],"analyzing":[18],"algorithm":[19,61,72],"can":[20,41,84],"only":[21,44],"be":[22,85,94],"used":[23,86],"to":[24,87],"analyze":[25],"pointer":[27,49,57,67,76,80],"scalars.":[28],"In":[29],"this":[30],"paper,":[31],"extended":[33],"representation":[34],"for":[35,66],"pointto":[36,46,54],"information":[37,47,55],"is":[38,69],"presented,":[39],"which":[40,92],"represent":[42],"not":[43],"scalars,":[50],"but":[51],"also":[52],"arrays.":[58],"Furthermore,":[59],"intraprocedural":[63],"array":[68,81],"presented.":[70],"This":[71],"comprises":[73],"both":[74],"scalar":[77],"and":[79],"analysis.":[82],"It":[83],"efficiently":[88],"solve":[89],"some":[90],"problems":[91],"couldn't":[93],"solved":[95],"by":[96],"algorithm.":[99]},"counts_by_year":[],"updated_date":"2026-09-29T14:09:16.559479","created_date":"2016-06-24T00:00:00"}