{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:11:57Z","timestamp":1747807917388,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642030123"},{"type":"electronic","value":"9783642030130"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03013-0_5","type":"book-chapter","created":{"date-parts":[[2009,7,30]],"date-time":"2009-07-30T10:30:01Z","timestamp":1248949801000},"page":"77-97","source":"Crossref","is-referenced-by-count":46,"title":["Making Sense of Large Heaps"],"prefix":"10.1007","author":[{"given":"Nick","family":"Mitchell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edith","family":"Schonberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gary","family":"Sevitsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-540-73368-3_22","volume-title":"Computer Aided Verification","author":"J. Berdine","year":"2007","unstructured":"Berdine, J., Calcagno, C., Cook, B., Distefano, D., O\u2019Hearn, P.W., Wies, T., Yang, H.: Shape analysis for composite data structures. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 178\u2013192. Springer, Heidelberg (2007)"},{"key":"5_CR2","unstructured":"Buchen, A., Tsvetkov, K.: Automated heap dump analysis for developers, testers, and support employees. JavaOne (2008)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"1431","DOI":"10.1002\/1096-9128(20001210)12:14<1431::AID-CPE542>3.0.CO;2-2","volume":"12","author":"W. Pauw De","year":"2000","unstructured":"De Pauw, W., Sevitsky, G.: Visualizing reference patterns for solving memory leaks in Java. Concurrency: Practice and Experience\u00a012, 1431\u20131454 (2000)","journal-title":"Concurrency: Practice and Experience"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Dufour, B., Ryder, B., Sevitsky, G.: A scalable technique for characterizing the usage of temporaries in framework-intensive java applications. In: Foundations of Software Engineering (2008)","DOI":"10.1145\/1453101.1453111"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Jump, M., McKinley, K.S.: Cork: dynamic memory leak detection for garbage-collected languages. In: Symposium on Principles of Programming Languages (2007)","DOI":"10.1145\/1190216.1190224"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Kegel, H., Steimann, F.: Systematically refactoring inheritance to delegation in a class-based object-oriented programming language. In: International Conference on Software Engineering (2008)","DOI":"10.1145\/1368088.1368147"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/357062.357071","volume":"1","author":"T. Lengauer","year":"1979","unstructured":"Lengauer, T., Tarjan, R.E.: A fast algorithm for finding dominators in a flow graph. ACM Transactions on Programming Languages and Systems\u00a01(1), 121\u2013141 (1979)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Marron, M., Hermenegildo, D.S.M., Kapur, D.: Heap analysis in the presence of collection libraries. In: Workshop on Program Analysis For Software Tools and Engineering (2007)","DOI":"10.1145\/1251535.1251541"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/11785477_5","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"N. Mitchell","year":"2006","unstructured":"Mitchell, N.: The runtime structure of object ownership. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 74\u201398. Springer, Heidelberg (2006)"},{"key":"5_CR10","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"N. Mitchell","year":"2003","unstructured":"Mitchell, N., Sevitsky, G.: Leakbot: An automated and lightweight tool for diagnosing memory leaks in large Java applications. In: Cardelli, L. (ed.) ECOOP 2003, vol.\u00a02743. Springer, Heidelberg (2003)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Mitchell, N., Sevitsky, G.: The causes of bloat, the limits of health. In: Object-oriented Programming, Systems, Languages, and Applications (2007)","DOI":"10.1145\/1297027.1297046"},{"key":"5_CR12","unstructured":"Mitchell, N., Sevitsky, G.: Building memory-efficient java applications. In: International Conference on Software Engineering (2008)"},{"issue":"7","key":"5_CR13","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1002\/cpe.799","volume":"16","author":"A. Potanin","year":"2004","unstructured":"Potanin, A., Noble, J., Biddle, R.: Checking ownership and confinement. Concurrency and Computation: Practice and Experience\u00a016(7), 671\u2013687 (2004)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Rayside, D., Mendel, L.: Object ownership profiling: a technique for finding and fixing memory leaks. In: Automated Software Engineering (2007)","DOI":"10.1145\/1321631.1321661"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Rojemo, N., Runciman, C.: Lag, drag, void and use \u2014 heap profiling and space-efficient compilation revisited. In: International Conference on Functional Programming (1996)","DOI":"10.1145\/232627.232633"},{"key":"5_CR16","volume-title":"EMF: Eclipse Modeling Framework","author":"D. Steinberg","year":"2003","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework. Addison-Wesley, Reading (2003)"},{"key":"5_CR17","unstructured":"Yourkit LLC. Yourkit profiler, http:\/\/www.yourkit.com"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Xu, G., Rountev, A.: Precise memory leak detection for java software using container profiling. In: International Conference on Software Engineering (2008)","DOI":"10.1145\/1368088.1368110"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2009 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03013-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T15:52:19Z","timestamp":1558453939000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03013-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642030123","9783642030130"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03013-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}