{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:34:12Z","timestamp":1725568452994},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642165573"},{"type":"electronic","value":"9783642165580"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16558-0_46","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T09:36:49Z","timestamp":1288690609000},"page":"564-578","source":"Crossref","is-referenced-by-count":0,"title":["Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination"],"prefix":"10.1007","author":[{"given":"Li","family":"Qian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhao","family":"Jianhua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Xuandong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"46_CR1","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, University of Copenhagen, DIKU (1994)"},{"key":"46_CR2","first-page":"32","volume-title":"Proceedings of the ACM Symposium on Principles of Programming Languages (POPL)","author":"B. Steensgaards","year":"1996","unstructured":"Steensgaards, B.: Points-to analysis in almost linear time. In: Proceedings of the ACM Symposium on Principles of Programming Languages (POPL), pp. 32\u201341. ACM, New York (1996)"},{"key":"46_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-36579-6_10","volume-title":"Compiler Construction","author":"B.G. Ryder","year":"2003","unstructured":"Ryder, B.G.: Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 126\u2013137. Springer, Heidelberg (2003)"},{"key":"46_CR4","doi-asserted-by":"crossref","unstructured":"Sridharan, M., Gopan, D., Shan, L., Bodik, R.: Demand-driven points-to analysis for Java. In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (October 2005)","DOI":"10.1145\/1094811.1094817"},{"key":"46_CR5","doi-asserted-by":"crossref","unstructured":"Heintze, N., Tardieu, O.: Ultra-fast aliasing analysis using CLA: A million lines of C code. In: Proceedings of the Conference on Programming Language Design and Implementation (PLDI), pp. 146\u2013161 (2001)","DOI":"10.1145\/378795.378855"},{"key":"46_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/3-540-45789-5_15","volume-title":"Static Analysis","author":"J. Whaley","year":"2002","unstructured":"Whaley, J., Lam, M.: An efficient inclusion-based points-to analysis for strictly-typed languages. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, pp. 180\u2013195. Springer, Heidelberg (2002)"},{"key":"46_CR7","doi-asserted-by":"crossref","unstructured":"Pearce, D.J., Kelly, P.H.J., Hankin, C.: Online cycle detection and difference propagation for pointer analysis. In: 3rd International IEEE Workshop on Source Code Analysis and Manipulation, SCAM (2003)","DOI":"10.1109\/SCAM.2003.1238026"},{"key":"46_CR8","doi-asserted-by":"crossref","unstructured":"Pearce, D.J., Kelly, P.H.J., Hankin, C.: Efficient Field- Sensitive Pointer Analysis for C. In: ACM Workshop on Program Analysis for Software Tools and Engineering, PASTE (2004)","DOI":"10.1145\/996821.996835"},{"key":"46_CR9","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/277650.277667","volume-title":"PLDI 1098: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation","author":"M. Faehndrich","year":"1998","unstructured":"Faehndrich, M., Foster, J.S., Su, Z., Aiken, A.: Partial online cycle elimination in inclusion constraint graphs. In: PLDI 1098: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, pp. 85\u201396. ACM Press, New York (1998)"},{"issue":"5","key":"46_CR10","doi-asserted-by":"publisher","first-page":"1467","DOI":"10.1145\/186025.186041","volume":"16","author":"G. Ramalingam","year":"1994","unstructured":"Ramalingam, G.: The Undecidability of Aliasing. ACM Trans. Program. Lang. Syst.\u00a016(5), 1467\u20131471 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"4","key":"46_CR11","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/161494.161501","volume":"1","author":"W. Landi","year":"1992","unstructured":"Landi, W.: Undecidability of static analysis. ACM Letters on Programming Languages and Systems\u00a01(4), 323\u2013337 (1992)","journal-title":"ACM Letters on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16558-0_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T21:01:42Z","timestamp":1559768502000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16558-0_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165573","9783642165580"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16558-0_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}