{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,15]],"date-time":"2025-04-15T06:12:22Z","timestamp":1744697542357},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540423140"},{"type":"electronic","value":"9783540477648"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-47764-0_16","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T04:55:55Z","timestamp":1181624155000},"page":"279-298","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses"],"prefix":"10.1007","author":[{"given":"Donglin","family":"Liang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mary Jean","family":"Harrold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"key":"16_CR1","unstructured":"L. Andersen. Program analysis and specialization for the C programming language. Technical Report 94-19, University of Copenhagen, 1994."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"D. C. Atkinson and W. G. Griswold. Effective whole-program analysis in the presence of pointers. In 6th International Symposium on the Foundations of Software Engineering, pages 46\u201355, Nov. 1998.","DOI":"10.1145\/288195.288217"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"R. Chatterjee, B. G. Ryder, and W. A. Landi. Relevant context inference. In 26th Symposium on Principles of programming languages, pages 133\u2013146, Jan. 1999.","DOI":"10.1145\/292540.292554"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"B. Cheng and W. Hwu. Modular interprocedural pointer analysis using access paths: Design, implementation, and evaluation. In Conference on Programming Language Design and Implementation, pages 57\u201369, June 2000.","DOI":"10.1145\/358438.349311"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"J.-D. Choi, M. Burke, and P. Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Symposium on Principles of Programming Languages, pages 232\u2013245, Jan. 1993.","DOI":"10.1145\/158511.158639"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"M. Das. Unification-based pointer analysis with directional assignments. In Conference on Programming Language Design and Implementation, June 2000.","DOI":"10.1145\/349299.349309"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"M. Emami, R. Ghiya, and L. J. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Conference on Programming Language Design and Implementation, pages 242\u2013256, June 1994.","DOI":"10.1145\/773473.178264"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"M. Fahndrich, J. Rehof, and M. Das. Scalable context-sensitive flow analysis using instantiation constraints. In Conference on Programming Language Design and Implementation, pages 253\u2013263, June 2000.","DOI":"10.1145\/358438.349332"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"J. S. Foster, M. Fahndrich, and A. Aiken. Polymorphic verus monomorphic flow-insensitive points-to analysis for C. In Proceedings of 7th International Static Analysis Symposium, June 2000.","DOI":"10.1007\/978-3-540-45099-3_10"},{"key":"16_CR10","unstructured":"P. L. R. Group. PROLANGS Analysis Framework. \n                    http:\/\/www.prolangs.rutgers.edu\/\n                    \n                  , Rutgers University, 1998."},{"issue":"4","key":"16_CR11","doi-asserted-by":"crossref","first-page":"848","DOI":"10.1145\/325478.325519","volume":"21","author":"M. Hind","year":"1999","unstructured":"M. Hind, M. Burke, P. Carini, and J.-D. Choi. Interprocedural pointer alias analysis. ACM Transactions on Programming Languages and Systems, 21(4):848\u2013894, July 1999.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"M. Hind and A. Pioli. Which pointer analysis should I use? In International Symposium on Software Testing and Analysis, pages 113\u2013123, Aug. 2000.","DOI":"10.1145\/347636.348916"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"N. Jones and S. Muchnick. Flow analysis and optimization of lisp-like structures. In S. Muchnick and N. Jones, editors, Program Flow Analysis: Theory and Applications, pages 102\u2013131. 1979.","DOI":"10.1145\/567752.567776"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"W. Landi and B. G. Ryder. A safe approximate algorithm for interprocedural pointer aliasing. In Conference on Programming Language Design and Implementation, pages 235\u2013248, July 1992.","DOI":"10.1145\/143103.143137"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"D. Liang and M. J. Harrold. Efficient points-to analysis for whole-program analysis. In Joint 7th European Software Engineering Conference and 7th ACM Symposium on Foundations of Software Engineering, pages 199\u2013215, Sept. 1999.","DOI":"10.1145\/318774.318943"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"D. Liang and M. J. Harrold. Reuse-driven interprocedural slicing in the presence of pointers and recursion. In International Conference on Software Maintenance, pages 421\u2013430, Sept. 1999.","DOI":"10.1109\/ICSM.1999.792640"},{"issue":"5","key":"16_CR17","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1109\/32.286418","volume":"20","author":"H. D. Pande","year":"1994","unstructured":"H. D. Pande, W. A. Landi, and B. G. Ryder. Interprocedural def-use associa-tions for C systems with single level pointers. IEEE Transactions on Software Engineering, 20(5):385\u2013403, May 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"E. Ruf. Context-insensitive alias analysis reconsidered. In Conference on Program-ming Language Design and Implementation, pages 13\u201323, June 1995.","DOI":"10.1145\/223428.207112"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"B. Steensgaard. Points-to analysis in almost linear time. In 23rd ACM Symposium on Principles of Programming Languages, pages 32\u201341, Jan. 1996.","DOI":"10.1145\/237721.237727"},{"issue":"4","key":"16_CR20","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"M. Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352\u2013357, July 1984.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"R. P. Wilson and M. S. Lam. Efficient context-sensitive pointer analysis for C programs. In Conference on Programming Language Design and Implementation, pages 1\u201312, June 1995.","DOI":"10.1145\/207110.207111"},{"issue":"5","key":"16_CR22","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1145\/301631.301647","volume":"34","author":"S. H. Yong","year":"1999","unstructured":"S. H. Yong, S. Horwitz, and T. Reps. Pointer analysis for programs with structures and casting. ACM SIGPLAN Notices, 34(5):91\u2013103, May 1999.","journal-title":"ACM SIGPLAN Notices"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47764-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:31:25Z","timestamp":1558272685000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47764-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423140","9783540477648"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-47764-0_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"4 July 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}