{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:45:10Z","timestamp":1725493510306},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672630"},{"type":"electronic","value":"9783540464235"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46423-9_4","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T19:48:40Z","timestamp":1193341720000},"page":"50-66","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["Automatic Removal of Array Memory Leaks in Java"],"prefix":"10.1007","author":[{"given":"Ran","family":"Shaham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elliot K.","family":"Kolodner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Ole Agesen, David Detlefs, and Elliot Moss. Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines. In SIGPLAN Conf. on Prog. Lang. Design and Impl., June 1998. 53, 55, 64","DOI":"10.1145\/277650.277738"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"David F. Bacon, Ravi Konuru, Chet Murthy, and Mauricio Serrano. Thin Locks: Featherweight Synchronization for Java. In SIGPLAN Conf. on Prog. Lang. Design and Impl., June 1998. 52","DOI":"10.1145\/277650.277734"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. Making the future safe for the past: Adding genericity to the java programming language. In Conf. on Object-Oriented Prog. Syst., Lang. and Appl., Vancouver, B.C., 1998. 52","DOI":"10.1145\/286936.286957"},{"key":"4_CR4","unstructured":"Cormen, Leiserson, and Rivest. Algorithms. MIT Press and McGraw-Hill, 1994. 54, 57"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Symp. on Princ. of Prog. Lang., pages 269\u2013282, New York, NY, 1979. ACM Press. 63","DOI":"10.1145\/567752.567778"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Symp. on Princ. of Prog. Lang., January 1978. 53, 64","DOI":"10.1145\/512760.512770"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Amer Diwan, Eliot Moss, and Richard Hudson. Compiler support for garbage collection in a statically typed language. In SIGPLAN Conf. on Prog. Lang. Design and Impl., pages 273\u2013282, San Francisco, CA, June 1992. 64","DOI":"10.1145\/143103.143140"},{"issue":"1\u20134","key":"4_CR8","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1145\/176454.176507","volume":"2","author":"R. Gupta","year":"1993","unstructured":"Rajiv Gupta. Optimizing array bound checks using flow analysis. Let. on Prog Lang. and Syst., 2(1\u20134):135\u2013150, March\u2013December 1993. 53","journal-title":"Let. on Prog Lang. and Syst."},{"key":"4_CR9","unstructured":"Priyadarshan Kolte and Michael Wolfe. Elimination of redundant array subscript range checks. In SIGPLAN Conf. on Prog. Lang. Design and Impl., 1995. 53"},{"key":"4_CR10","volume-title":"Lec. Notes in Comp. Sci.","author":"B. Liskov","year":"1981","unstructured":"Barbara Liskov et al. CLU reference manual. In Lec. Notes in Comp. Sci., volume 114. Springer-Verlag, Berlin, 1981. 54"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"William Pugh. The Omega Test: a Fast and Practical Integer Programming Algorithm for Dependence Analysis. In Communications of the ACM, August 1992. 53","DOI":"10.1145\/125826.125848"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"T. Reps, S. Horwitz, and M. Sagiv. Precise interprocedural dataflow analysis via graph reachability. In Symp. on Princ. of Prog. Lang., New York, NY, 1995. 56","DOI":"10.1145\/199448.199462"},{"key":"4_CR13","volume-title":"Automatic removal of array memory leaks in Java","author":"R. Shaham","year":"1999","unstructured":"Ran Shaham. Automatic removal of array memory leaks in Java. Master\u2019s thesis, Tel-Aviv University, Tel-Aviv, Israel, September 1999. Available at \u201c\n                  http:\/\/www.math.tau.ac.il\/~rans\/thesis.zip\n                  \n                \u201d. 53, 54, 56, 65"},{"key":"4_CR14","first-page":"189","volume-title":"Program Flow Analysis: Theory and Applications","author":"M. Sharir","year":"1981","unstructured":"M. Sharir and A. Pnueli. Two approaches to interprocedural data flow analysis. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 7, pages 189\u2013234. Prentice-Hall, Englewood Cliffs, NJ, 1981. 56"},{"key":"4_CR15","unstructured":"SPEC JVM98. Standard Performance Evaluation Corporation (SPEC), Fairfax, VA, 1998. Available at \n                  http:\/\/www.spec.org\/osg\/jvm98\/\n                  \n                . 55"},{"key":"4_CR16","unstructured":"Paul R. Wilson. Uniprocessor garbage collection techniques. In Memory Management, International Workshop IWMM, September 1992. 65"},{"key":"4_CR17","unstructured":"Michael Wolfe. High Performance Compilers for Parallel Computing. Addison-Wesley, 1995. 53"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46423-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:38:25Z","timestamp":1558276705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46423-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672630","9783540464235"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-46423-9_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"1 June 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}