{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T21:27:05Z","timestamp":1649021225725},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[2001,5]]},"DOI":"10.1007\/bf02943202","type":"journal-article","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T07:08:00Z","timestamp":1221203280000},"page":"242-250","source":"Crossref","is-referenced-by-count":0,"title":["A new approach to pointer analysis for assignments"],"prefix":"10.1007","volume":"16","author":[{"given":"Bo","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Binyu","family":"Zang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chuanqi","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02943202_CR1","doi-asserted-by":"crossref","unstructured":"Wilson R P, Lam M S. Efficient context-sensitive pointer analysis for C programs. InProceedings of the ACM SIGPLAN\u201995 Conference on Programming Language Design and Implementation, La Jolla, CA, June 18\u201321, 1995, pp.1\u201312.","DOI":"10.1145\/207110.207111"},{"key":"BF02943202_CR2","doi-asserted-by":"crossref","unstructured":"Emami M, Ghiya R, Hendren L. Context-sensitive interprocedural point-to analysis in the presence of function pointers. InProceedings of the ACM SIGPLAN\u201994 Conference on Programming Language Design and Implementation, Orlando, Flor., June, 1994, pp.242\u2013256.","DOI":"10.1145\/773473.178264"},{"key":"BF02943202_CR3","doi-asserted-by":"crossref","unstructured":"Ghiya R, Hendren L J. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C. InProceedings of the 23rd Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, 1996, pp.1\u201315.","DOI":"10.1145\/237721.237724"},{"issue":"6","key":"BF02943202_CR4","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1007\/BF03356759","volume":"24","author":"R Ghiya","year":"1996","unstructured":"Ghiya R, Hendren L J. Connection analysis: A practical interprocedural heap analysis for C.International Journal of Parallel Programming, 1996, 24(6): 547\u2013578.","journal-title":"International Journal of Parallel Programming"},{"key":"BF02943202_CR5","doi-asserted-by":"crossref","unstructured":"Ghiya R, Hendren L J. Putting pointer analysis to work. InProceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, Jan. 19\u201321, 1998, pp.121\u2013133.","DOI":"10.1145\/268946.268957"},{"key":"BF02943202_CR6","doi-asserted-by":"crossref","unstructured":"Alain Deutsch. Interprocedural may-alias analysis for pointers: Beyond-k-limiting. InProceedings of the ACM SIGPLAN\u201994 Conference on Programming Language Design and Implementation, Orlando, Flor., June, 1994, pp.230\u2013241.","DOI":"10.1145\/773473.178263"},{"key":"BF02943202_CR7","unstructured":"John Lu. Interprocedural pointer analysis for C [dissertation]. Rice University, Apr., 1998."},{"issue":"5","key":"BF02943202_CR8","first-page":"477","volume":"23","author":"Huang Bo","year":"2000","unstructured":"Huang Bo, Zang Binyuet al. Context-sensitive interprocedural pointer analysis.Chinese Journal of Computers, 2000, 23(5): 477\u2013485.","journal-title":"Chinese Journal of Computers"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943202.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02943202\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:16:14Z","timestamp":1558469774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02943202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["BF02943202"],"URL":"https:\/\/doi.org\/10.1007\/bf02943202","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}