{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:50:14Z","timestamp":1742388614730},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540442356"},{"type":"electronic","value":"9783540457893"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45789-5_15","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T13:50:10Z","timestamp":1186840210000},"page":"180-195","source":"Crossref","is-referenced-by-count":21,"title":["An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages"],"prefix":"10.1007","author":[{"given":"John","family":"Whaley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monica S.","family":"Lam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,5]]},"reference":[{"key":"15_CR1","unstructured":"L. Andersen. A Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, 1994."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"D. F. Bacon and P. F. Sweeney. Fast static analysis of C++ virtual function calls. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 324\u2013341, 1996.","DOI":"10.1145\/236337.236371"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"J. Dean, D. Grove, and C. Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In Proceedings of the 9th European Conference on Object-Oriented Programming (ECOOP), 1995.","DOI":"10.1007\/3-540-49538-X_5"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"M. Fahndrich, J. S. Foster, Z. Su, and A. Aiken. Partial online cycle elimination in inclusion constraint graphs. In Proceedings of the Conference on Programming Language Design and Implementation (PLDI), pages 85\u201396, 1998.","DOI":"10.1145\/277650.277667"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"N. Heintze and O. Tardieu. Ultra-fast aliasing analysis using CLA: A million lines of C code. In Proceedings of the Conference on Programming Language Design and Implementation (PLDI), pages 146\u2013161, 2001.","DOI":"10.1145\/378795.378855"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"D. Liang, M. Pennings, and M. J. Harrold. Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java. In Workshop on Program Analysis For Software Tools and Engineering, pages 73\u201379, 2001.","DOI":"10.1145\/379605.379676"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"A. Rountev, A. Milanova, and B. Ryder. Points-to analysis for Java based on annotated constraints. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 43\u201355, 2001.","DOI":"10.1145\/504282.504286"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"B. Steensgaard. Points-to analysis in almost linear time. In Proceedings of the Twenty-third Annual ACM Symposium on Principles of Programming Languages (POPL), pages 32\u201341, 1996.","DOI":"10.1145\/237721.237727"},{"key":"15_CR9","unstructured":"M. Streckenbach and G. Snelting. Points-to for Java: A general framework and an empirical comparison. Technical report, University of Passau, Sept. 2000."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Z. Su, M. Fahndrich, and A. Aiken. Projection merging: Reducing redundancies in inclusion constraint graphs. In Proceedings of the Twenty-seventh Annual ACM Symposium on Principles of Programming Languages (POPL), pages 81\u201395, 2000.","DOI":"10.1145\/325694.325706"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"V. Sundaresan, L. J. Hendren, C. Razafimahefa, R. Vallee-Rai, P. Lam, E. Gagnon, and C. Godin. Practical virtual method call resolution for Java. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 264\u2013280, 2000.","DOI":"10.1145\/353171.353189"},{"key":"15_CR12","unstructured":"J. Whaley. joeq virtual machine. http:\/\/joeq.sourceforge.net , 2001."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45789-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T23:23:44Z","timestamp":1556753024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45789-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442356","9783540457893"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45789-5_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}