{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T13:06:53Z","timestamp":1779887213342,"version":"3.53.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540297352","type":"print"},{"value":"9783540322474","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11575467_11","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T08:58:51Z","timestamp":1131699531000},"page":"139-160","source":"Crossref","is-referenced-by-count":104,"title":["Reflection Analysis for Java"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Livshits","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Whaley","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Monica S.","family":"Lam","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Forman, I.R., Forman, N.: Java Reflection in Action. Manning Publications (2004)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Koved, L., Pistoia, M., Kershenbaum, A.: Access rights analysis for Java. In: Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 359\u2013372 (2002)","DOI":"10.1145\/582419.582452"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Reimer, D., Schonberg, E., Srinivas, K., Srinivasan, H., Alpern, B., Johnson, R.D., Kershenbaum, A., Koved, L.: SABER: Smart Analysis Based Error Reduction. In: Proceedings of International Symposium on Software Testing and Analysis, pp. 243\u2013251 (2004)","DOI":"10.1145\/1007512.1007545"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Weimer, W., Necula, G.: Finding and preventing run-time error handling mistakes. In: Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 419\u2013431 (2004)","DOI":"10.1145\/1028976.1029011"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Hirzel, M., Diwan, A., Hind, M.: Pointer analysis in the presence of dynamic class loading. In: Proceedings of the European Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 96\u2013122 (2004)","DOI":"10.1007\/978-3-540-24851-4_5"},{"key":"11_CR6","unstructured":"Andersen, L.O.: Program analysis and specialization for the C programming language. PhD thesis, University of Copenhagen (1994)"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1145\/354222.353190","volume":"35","author":"F. Tip","year":"2000","unstructured":"Tip, F., Palsberg, J.: Scalable propagation-based call graph construction algorithms. ACM SIGPLAN Notices\u00a035, 281\u2013293 (2000)","journal-title":"ACM SIGPLAN Notices"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Livshits, B., Whaley, J., Lam, M.S.: Reflection analysis for Java. Technical report, Stanford University (2005), http:\/\/suif.stanford.edu\/~livshits\/papers\/tr\/reflection_tr.pdf","DOI":"10.1007\/11575467_11"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Whaley, J., Lam, M.: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In: Proceedings of the ACM Conference on Programming Language Design and Implementation, pp. 131\u2013144 (2004)","DOI":"10.1145\/996841.996859"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-49538-X_5","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"J. Dean","year":"1995","unstructured":"Dean, J., Grove, D., Chambers, C.: Optimization of object-oriented programs using static class hierarchy analysis. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 77\u2013101. Springer, Heidelberg (1995)"},{"key":"11_CR11","unstructured":"Bacon, D.F.: Fast and Effective Optimization of Statically Typed Object-Oriented Languages. PhD thesis, University of California at Berkeley (1998)"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1145\/506315.506316","volume":"23","author":"D. Grove","year":"2001","unstructured":"Grove, D., Chambers, C.: A framework for call graph construction algorithms. ACM Trans. Program. Lang. Syst.\u00a023, 685\u2013746 (2001)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Lam, M.S., Whaley, J., Livshits, V.B., Martin, M.C., Avots, D., Carbin, M., Unkel, C.: Context-sensitive program analysis as database queries. In: Proceedings of the ACM Symposium on Principles of Database Systems, pp. 1\u201312 (2005)","DOI":"10.1145\/1065167.1065169"},{"key":"11_CR14","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A. Aho","year":"1986","unstructured":"Aho, A., Sethi, R., Ullman, J.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)"},{"key":"11_CR15","unstructured":"Gu\u00e9h\u00e9neuc, Y.G., Cointe, P., S\u00e9gura-Devillechaise, M.: Java reflection exercises, correction, and FAQs (2002), http:\/\/www.yann-gael.gueheneuc.net\/Work\/Teaching\/Documents\/Practical-ReflectionCourse.doc.pdf"},{"key":"11_CR16","unstructured":"Thiemann, P.: Towards partial evaluation of full Scheme. In: Reflection 1996 (1996)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Braux, M., Noy\u00e9, J.: Towards partially evaluating reflection in Java. In: Proceedings of the ACM Workshop on Partial Evaluation and Semantics-based Program Manipulation, pp. 2\u201311 (1999)","DOI":"10.1145\/328690.328693"},{"key":"11_CR18","unstructured":"Ruf, E.: Partial evaluation in reflective system implementations. In: Workshop on Reflection and Metalevel Architecture (1993)"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/320385.320414","volume":"34","author":"F. Tip","year":"1999","unstructured":"Tip, F., Laffra, C., Sweeney, P.F., Streeter, D.: Practical experience with an application extractor for Java. ACM SIGPLAN Notices\u00a034, 292\u2013305 (1999)","journal-title":"ACM SIGPLAN Notices"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Grove, D., DeFouw, G., Dean, J., Chambers, C.: Call graph construction in object-oriented languages. In: Proceedings of the ACM Conference on Object-oriented Programming, Systems, Languages, and Applications, pp. 108\u2013124 (1997)","DOI":"10.1145\/263698.264352"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1145\/354222.353189","volume":"35","author":"V. Sundaresan","year":"2000","unstructured":"Sundaresan, V., Hendren, L., Razafimahefa, C., Vall\u00e9e-Rai, R., Lam, P., Gagnon, E., Godin, C.: Practical virtual method call resolution for Java. ACM SIGPLAN Notices\u00a035, 264\u2013280 (2000)","journal-title":"ACM SIGPLAN Notices"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Agrawal, G., Li, J., Su, Q.: Evaluating a demand driven technique for call graph construction. In: Computational Complexity, pp. 29\u201345 (2002)","DOI":"10.1007\/3-540-45937-5_5"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11575467_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:57:25Z","timestamp":1605625045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11575467_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297352","9783540322474"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11575467_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}