{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T18:54:11Z","timestamp":1771959251378,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540740605","type":"print"},{"value":"9783540740612","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74061-2_17","type":"book-chapter","created":{"date-parts":[[2007,8,21]],"date-time":"2007-08-21T11:39:13Z","timestamp":1187696353000},"page":"265-280","source":"Crossref","is-referenced-by-count":22,"title":["Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis"],"prefix":"10.1007","author":[{"given":"Ben","family":"Hardekopf","sequence":"first","affiliation":[]},{"given":"Calvin","family":"Lin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming anguage. PhD thesis, DIKU, University of Copenhagen (May 1994)"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Berndl, M., Lhotak, O., Qian, F., Hendren, L., Umanee, N.: Points-to analysis using BDDs. In: PLDI. Programming Language Design and Implementation, pp. 103\u2013114 (2003)","DOI":"10.1145\/781131.781144"},{"issue":"6","key":"17_CR3","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1002\/(SICI)1097-024X(199706)27:6<701::AID-SPE104>3.0.CO;2-0","volume":"27","author":"P. Briggs","year":"1997","unstructured":"Briggs, P., Cooper, K.D., Taylor Simpson, L.: Value numbering. Software Practice and Experience\u00a027(6), 701\u2013724 (1997)","journal-title":"Software Practice and Experience"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Das, M.: Unification-based pointer analysis with directional assignments. In: PLDI. Programming Language Design and Implementation, pp. 35\u201346 (2000)","DOI":"10.1145\/349299.349309"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Faehndrich, M., Foster, J.S., Su, Z., Aiken, A.: Partial online cycle elimination in inclusion constraint graphs. In: PLDI. Programming Language Design and Implementation, pp. 85\u201396 (1998)","DOI":"10.1145\/277650.277667"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Hardekopf, B., Lin, C.: The Ant and the Grasshopper: Fast and accurate pointer analysis for millions of lines of code. In: PLDI. Programming Language Design and Implementation (2007)","DOI":"10.1145\/1250734.1250767"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Heintze, N., Tardieu, O.: Ultra-fast aliasing analysis using CLA: A million lines of C code in a second. In: PLDI. Programming Language Design and Implementation, pp. 24\u201334 (2001)","DOI":"10.1145\/378795.378855"},{"issue":"3","key":"17_CR8","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1145\/567793.567796","volume":"11","author":"D. Liang","year":"2002","unstructured":"Liang, D., Harrold, M.J.: Equivalence analysis and its application in improving the efficiency of program slicing. ACM Trans. Softw. Eng. Methodol.\u00a011(3), 347\u2013383 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.: CIL: Intermediate language and tools for analysis and transformation of C programs. In: Computational Complexity, pp. 213\u2013228 (2002)","DOI":"10.1007\/3-540-45937-5_16"},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/996821.996835","volume-title":"PASTE","author":"D. Pearce","year":"2004","unstructured":"Pearce, D., Kelly, P., Hankin, C.: Efficient field-sensitive pointer analysis for C. In: PASTE. ACM workshop on Program Analysis for Software Tools and Engineering, pp. 37\u201342. ACM Press, New York (2004)"},{"key":"17_CR11","first-page":"3","volume-title":"SCAM","author":"D.J. Pearce","year":"2003","unstructured":"Pearce, D.J., Kelly, P.H.J., Hankin, C.: Online cycle detection and difference propagation for pointer analysis. In: SCAM. 3rd International IEEE Workshop on Source Code Analysis and Manipulation, pp. 3\u201312. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Rountev, A., Chandra, S.: Off-line variable substitution for scaling points-to analysis. In: PLDI. Programming Language Design and Implementation, pp. 47\u201356 (2000)","DOI":"10.1145\/349299.349310"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/263699.263703","volume-title":"POPL","author":"M. Shapiro","year":"1997","unstructured":"Shapiro, M., Horwitz, S.: Fast and accurate flow-insensitive points-to analysis. In: POPL. ACM Symposium on Principles of Programming Languages, pp. 1\u201314. ACM Press, New York (1997)"},{"key":"17_CR14","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/237721.237727","volume-title":"POPL","author":"B. Steensgaard","year":"1996","unstructured":"Steensgaard, B.: Points-to analysis in almost linear time. In: POPL. ACM Symposium on Principles of Programming Languages, pp. 32\u201341. ACM Press, New York (1996)"},{"issue":"2","key":"17_CR15","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth-first search and linear graph algorithms. SIAM J. Comput.\u00a01(2), 146\u2013160 (1972)","journal-title":"SIAM J. Comput."},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Whaley, J., Lam, M.S.: Cloning-based context-sensitive pointer alias analysis. In: PLDI. Programming Language Design and Implementation, pp. 131\u2013144 (2004)","DOI":"10.1145\/996893.996859"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74061-2_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:09:53Z","timestamp":1619503793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74061-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540740605","9783540740612"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74061-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}