乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:49:52Z","timestamp":1725558592770},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642139529"},{"type":"electronic","value":"9783642139536"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13953-6_4","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T07:28:13Z","timestamp":1277796493000},"page":"61-78","source":"Crossref","is-referenced-by-count":3,"title":["Understanding the Impact of Collection Contracts on Design"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Nelson","sequence":"first","affiliation":[]},{"given":"David J.","family":"Pearce","sequence":"additional","affiliation":[]},{"given":"James","family":"Noble","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Nelson, S., Pearce, D.J., Noble, J.: Understanding the impact of collection contracts on design. Technical Report 10-09, School of Engineering and Computer Science, Victoria University of Wellington, New Zealand (2010)","DOI":"10.1007\/978-3-642-13953-6_4"},{"key":"4_CR2","volume-title":"The Java Class Libraries","author":"P. Chan","year":"1999","unstructured":"Chan, P., Lee, R.: The Java Class Libraries, 2nd edn., vol.\u00a01. Addison-Wesley, Reading (1999)","edition":"2"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Hovemeyer, D., Pugh, W.: Finding bugs is easy. In: OOPSLA Companion (2004)","DOI":"10.1145\/1028664.1028717"},{"key":"4_CR4","unstructured":"Qualitas Research Group: Qualitas corpus release 20080603. The University of Auckland (2008), http:\/\/www.cs.auckland.ac.nz\/~ewan\/corpus\/"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Khoshafian, S.N., Copeland, G.P.: Object identity. In: Proc. OOPSLA (1986)","DOI":"10.1145\/28697.28739"},{"key":"4_CR6","unstructured":"Birtwistle, G.M., Dahl, O.J., Myhrhaug, B., Nygaard, K.: Simula Begin. Studentlitteratur (1979)"},{"key":"4_CR7","volume-title":"Smalltalk-80: The Language and its Implementation","author":"A. Goldberg","year":"1983","unstructured":"Goldberg, A., Robson, D.: Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading (1983)"},{"issue":"12","key":"4_CR8","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/988164.988172","volume":"17","author":"B.J. MacLennan","year":"1982","unstructured":"MacLennan, B.J.: Values and objects in programming languages. SIGPLAN Notices\u00a017(12), 70\u201379 (1982)","journal-title":"SIGPLAN Notices"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Baker, H.G.: Equal rights for functional objects or, the more things change, the more they are the same. In: OOPS Messenger, vol.\u00a04(4) (1993)","DOI":"10.1145\/165593.165596"},{"key":"4_CR10","unstructured":"Steele, G.L.: Common Lisp the Language, 2nd edn. Digital Press (1990)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/3-540-45102-1_11","volume-title":"ECOOP 2000 - Object-Oriented Programming","author":"P. Grogono","year":"2000","unstructured":"Grogono, P., Sakkinen, M.: Copying and comparing: Problems and solutions. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol.\u00a01850, pp. 226\u2013250. Springer, Heidelberg (2000)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-73589-2_4","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"M. Vaziri","year":"2007","unstructured":"Vaziri, M., Tip, F., Fink, S., Dolby, J.: Declarative object identity using relation types. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 54\u201378. Springer, Heidelberg (2007)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Rupakheti, C.R., Hou, D.: An empirical study of the design and implementation of object equality in Java. In: Proc. CASCON, p. 9 (2008)","DOI":"10.1145\/1463788.1463800"},{"key":"4_CR14","unstructured":"Liskov, B., Guttag, J.V.: Abstraction and Specification in Program Development. MIT Press\/McGraw-Hill (1986)"},{"key":"4_CR15","unstructured":"Odersky, M.: Programming in Scala. Artima, Inc. (2008)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Zibin, Y., Potanin, A., Ali, M., Artzi, S., Kiezun, A., Ernst, M.D.: Object and reference immutability using Java generics. In: ESEC\/SIGSOFT FSE, pp. 75\u201384 (2007)","DOI":"10.1145\/1287624.1287637"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"\u00d6stlund, J., Wrigstad, T., Clarke, D., \u00c5kerblom, B.: Ownership, uniqueness, and immutability. In: TOOLS, vol.\u00a0(46), pp. 178\u2013197 (2008)","DOI":"10.1007\/978-3-540-69824-1_11"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Xia, S.: Establishing object invariants with delayed types. In: Proc. OOPSLA, pp. 337\u2013350 (2007)","DOI":"10.1145\/1297027.1297052"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Haack, C., Poll, E.: Type-based object immutability with flexible initialization. Technical Report ICIS-R09001, Radboud University Nijmegen (January 2009)","DOI":"10.1007\/978-3-642-03013-0_24"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Leino, K.R.M., M\u00fcller, P., Wallenburg, A.: Flexible immutability with frozen objects. In: VSTTE, pp. 192\u2013208 (2008)","DOI":"10.1007\/978-3-540-87873-5_17"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Qi, X., Myers, A.C.: Masked types for sound object initialization. In: POPL, pp. 53\u201365 (2009)","DOI":"10.1145\/1594834.1480890"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/978-3-642-03013-0_23","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"J. Gil","year":"2009","unstructured":"Gil, J., Shragai, T.: Are we ready for a safer construction environment? In: Drossopoulou, S. (ed.) ECOOP 2009 \u2013 Object-Oriented Programming. LNCS, vol.\u00a05653, pp. 495\u2013519. Springer, Heidelberg (to appear, 2009)"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Unkel, C., Lam, M.S.: Automatic inference of stationary fields: a generalization of Java\u2019s final fields. In: POPL, pp. 183\u2013195 (2008)","DOI":"10.1145\/1328438.1328463"},{"key":"4_CR24","unstructured":"Porat, S., Biberstein, M., Koved, L., Mendelson, B.: Automatic detection of immutable fields in Java. In: Proc. CASCON (1990)"},{"key":"4_CR25","volume-title":"Effective Java","author":"J. Bloch","year":"2008","unstructured":"Bloch, J.: Effective Java. Prentice Hall PTR, Englewood Cliffs (2008)"},{"key":"4_CR26","first-page":"162","volume-title":"Proc. of the ACM Conference on Programming Language Design and Implementation","author":"P. Cheng","year":"1998","unstructured":"Cheng, P., Harper, R., Lee, P.: Generational stack collection and profile-driven pretenuring. In: Proc. of the ACM Conference on Programming Language Design and Implementation, pp. 162\u2013173. ACM Press, New York (1998)"},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/362422.362473","volume-title":"Proc. ISMM","author":"O. Agesen","year":"2000","unstructured":"Agesen, O., Garthwaite, A.: Efficient object sampling via weak references. In: Proc. ISMM, pp. 121\u2013126. ACM Press, New York (2000)"},{"key":"4_CR28","volume-title":"Proc. ISMM","author":"M. Jump","year":"2004","unstructured":"Jump, M., Blackburn, S.M., McKinley, K.S.: Dynamic object sampling for pretenuring. In: Diwan, A. (ed.) Proc. ISMM. ACM Press, New York (2004)"},{"key":"4_CR29","volume-title":"Principles and Practice of Programming in Java","author":"J. Singer","year":"2007","unstructured":"Singer, J., Brown, G., Lujan, M., Watson, I.: Towards intelligent analysis techniques for object pretenuring. In: Principles and Practice of Programming in Java, Lisbon, September 2007. ACM Press, New York (2007)"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Hirzel, M., Henkel, J., Diwan, A., Hind, M.: Understanding the connectivity of heap objects. In: Proc. ISMM, pp. 143\u2013156 (2002)","DOI":"10.1145\/512429.512435"},{"issue":"7","key":"4_CR31","doi-asserted-by":"publisher","first-page":"880","DOI":"10.1109\/TC.2006.107","volume":"55","author":"H. Inoue","year":"2006","unstructured":"Inoue, H., Stefanovic, D., Forrest, S.: On the prediction of Java object lifetimes. IEEE Trans. Computers\u00a055(7), 880\u2013892 (2006)","journal-title":"IEEE Trans. Computers"},{"key":"4_CR32","volume-title":"ISMM\u201904 Proc. of the Fourth International Symposium on Memory Management","author":"G. Chen","year":"2004","unstructured":"Chen, G., Kandemir, M., Vijaykrishnan, N., Irwin, M.J.: Field level analysis for heap space optimization in embedded Java environments. In: Diwan, A. (ed.) ISMM\u201904 Proc. of the Fourth International Symposium on Memory Management, Vancouver, October 2004. ACM Press, New York (2004)"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Guo, Z., Amaral, J.N., Szafron, D., Wang, Y.: Utilizing field usage patterns for java heap space optimization. In: Proc. of the conference of the Centre for Advanced Studies on Collaborative Research, pp. 67\u201379. IBM (2006)","DOI":"10.1145\/1188966.1188974"},{"key":"4_CR34","first-page":"127","volume-title":"Proc. OOPSLA","author":"A. Shankar","year":"2008","unstructured":"Shankar, A., Arnold, M., Bodik, R.: Jolt: Lightweight dynamic analysis and removal of object churn. In: Proc. OOPSLA, pp. 127\u2013142. ACM Press, New York (2008)"},{"key":"4_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/3-540-48743-3_5","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"S. Dieckman","year":"1999","unstructured":"Dieckman, S., Hoelzle, U.: A study of the allocation behavior of the SPECjvm98 Java benchmarks. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 92\u2013115. Springer, Heidelberg (1999)"},{"issue":"7","key":"4_CR36","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1002\/spe.788","volume":"37","author":"D.J. Pearce","year":"2007","unstructured":"Pearce, D.J., Webster, M., Berry, R., Kelly, P.H.J.: Profiling with AspectJ. Software: Pracice and Experience\u00a037(7), 747\u2013777 (2007)","journal-title":"Software: Pracice and Experience"},{"key":"4_CR37","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/232627.232633","volume-title":"Proc. ICFP","author":"N. R\u00f6jemo","year":"1996","unstructured":"R\u00f6jemo, N., Runciman, C.: Lag, drag, void and use | heap profiling and space-efficient compilation revisited. In: Proc. ICFP, pp. 34\u201341. ACM Press, New York (1996)"},{"key":"4_CR38","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1145\/378795.378820","volume-title":"Proc. PLDI","author":"R. Shaham","year":"2001","unstructured":"Shaham, R., Kolodner, E.K., Sagiv, M.: Heap profiling for space-efficient Java. In: Proc. PLDI, pp. 104\u2013113. ACM Press, New York (2001)"},{"issue":"11","key":"4_CR39","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1145\/949343.949333","volume":"38","author":"D. Marinov","year":"2003","unstructured":"Marinov, D., O\u2019Callahan, R.: Object equality profiling. SIGPLAN Not.\u00a038(11), 313\u2013325 (2003)","journal-title":"SIGPLAN Not."},{"key":"4_CR40","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":"4_CR41","unstructured":"Liang, S., Viswanathan, D.: Comprehensive profiling support in the Java Virtual Machine. In: Proc. of the USENIX Conference On Object Oriented Technologies and Systems, pp. 229\u2013240. USENIX Association (1999)"},{"issue":"5","key":"4_CR42","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/1060710.1060716","volume":"48","author":"A. Potanin","year":"2005","unstructured":"Potanin, A., Noble, J., Frean, M.R., Biddle, R.: Scale-free geometry in OO programs. Communications of the ACM\u00a048(5), 99\u2013103 (2005)","journal-title":"Communications of the ACM"},{"key":"4_CR43","unstructured":"Orwell, G.: Animal Farm. Secker & Warburg (1945)"}],"container-title":["Lecture Notes in Computer Science","Objects, Models, Components, Patterns"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13953-6_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T15:52:05Z","timestamp":1685634725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13953-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642139529","9783642139536"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13953-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}