{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:12Z","timestamp":1725558972526},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540254119"},{"type":"electronic","value":"9783540319856"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31985-6_21","type":"book-chapter","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T14:53:19Z","timestamp":1278859999000},"page":"271-286","source":"Crossref","is-referenced-by-count":7,"title":["Completeness Analysis for Incomplete Object-Oriented Programs"],"prefix":"10.1007","author":[{"given":"Jingling","family":"Xue","sequence":"first","affiliation":[]},{"given":"Phung Hua","family":"Nguyen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen (May 1994)"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Blanchet, B.: Escape analysis: Correctness proof, implementation and experimental results. In: 25th Annual ACM Symposium on Principles of Programming Languages, pp. 25\u201337 (January 1998)","DOI":"10.1145\/268946.268949"},{"key":"21_CR3","unstructured":"Chatterjee, R., Ryder, B.G.: Data-flow-based testing of object-oriented libraries. Technical Report 433, Rutgers University (2001)"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Gupta, M., Serrano, M.J., Sreedhar, V.C., Midkiff, S.P.: Escape analysis for Java. In: 14th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, pp. 1\u201319 (November 1999)","DOI":"10.1145\/320384.320386"},{"key":"21_CR5","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":"21_CR6","doi-asserted-by":"crossref","unstructured":"Ghemawat, S., Randall, K.H., Scales, D.J.: Field analysis: Getting useful and low-cost interprocedural information. In: ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation (June 2000)","DOI":"10.1145\/349299.349343"},{"issue":"7","key":"21_CR7","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1109\/32.538603","volume":"22","author":"M.J. Harrold","year":"1996","unstructured":"Harrold, M.J., Rothermel, G.: Separate computation of alias information for reuse. IEEE Transaction on Software Engineering\u00a022(7), 442\u2013460 (1996)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Hirzel, M., Diwan, A., Hind, M.: Pointer analysis in the presence of dynamic class loading. In: 18th European Conference on Object-Oriented Programming (June 2004)","DOI":"10.1007\/978-3-540-24851-4_5"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/3-540-36579-6_12","volume-title":"Compiler Construction","author":"O. Lhot\u00e1k","year":"2003","unstructured":"Lhot\u00e1k, O., Hendren, L.: Scaling Java points-to analysis using Spark. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 153\u2013169. Springer, Heidelberg (2003)"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Pechtchanski, I., Sarkar, V.: Dynamic optimistic interprocedural analysis: a framework and an application. In: 16th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (October 2001)","DOI":"10.1145\/504282.504297"},{"key":"21_CR11","unstructured":"Porat, S., Biberstein, M., Koved, L., Mendelson, B.: Automatic detection of immutable fields in Java. In: Proceedings of CASCON 2000 (2000)"},{"key":"21_CR12","unstructured":"Qian, F., Hendren, L.: Towards dynamic interprocedural analysis in JVMs. In: 3rd ACM SIGPLAN Symposium on Virtual Machine Research and Technology (May 2004)"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Rountev, A., Milanova, A., Ryder, B.G.: Points-to analysis for Java based on annotated constraints. Technical Report DCS-TR-424, Rutgers University (November 2000)","DOI":"10.1145\/504282.504286"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Rountev, A., Milanova, A., Ryder, B.G.: Fragment class analysis for testing of polymorphism in java software. In: 25th International Conference on Software Engineering (May 2003)","DOI":"10.1109\/ICSE.2003.1201201"},{"key":"21_CR15","unstructured":"Rountev, A., Ryder, B.G.: Practical points-to analysis for programs built with libraries. Technical Report 410, Rutgers University (February 2000)"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Sreedhar, V.C., Burke, M., Choi, J.-D.: A framework for interprocedural optimization in the presence of dynamic class loading. In: ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, pp. 196\u2013207 (June 2000)","DOI":"10.1145\/349299.349326"},{"key":"21_CR17","unstructured":"Streckenbach, M., Snelting, G.: Points-to for Java: A general framework and an empirical comparison. Technical report, University Passau (November 2000)"},{"key":"21_CR18","unstructured":"Sun Microsystems. Java 2 software development kit version 1.2.2 (July 1999)"},{"key":"21_CR19","unstructured":"Vall\u00e9e-Rai, R., Hendren, L., Sundaresan, V., Lam, P., Gagnon, E., Co, P.: Soot: a java optimization framework (1999), http:\/\/www.sable.mcgill.ca\/soot"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Vivien, F., Rinard, M.C.: Incrementalized pointer and escape analysis. In: ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, pp. 35\u201346 (June 2001)","DOI":"10.1145\/378795.378804"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Whaley, J., Rinard, M.: Compositional pointer and escape analysis for Java programs. In: 14th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, pp. 187\u2013206 (November 1999)","DOI":"10.1145\/320384.320400"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Zaks, A., Feldman, V., Aizikowitz, N.: Sealed calls in Java packages. In: 15th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (October 2000)","DOI":"10.1145\/353171.353177"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31985-6_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,31]],"date-time":"2021-10-31T01:20:07Z","timestamp":1635643207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31985-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254119","9783540319856"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31985-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}