{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:36:00Z","timestamp":1725737760931},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390371"},{"type":"electronic","value":"9783642390388"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39038-8_5","type":"book-chapter","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T10:29:00Z","timestamp":1372156140000},"page":"104-128","source":"Crossref","is-referenced-by-count":2,"title":["Heap Decomposition Inference with Linear Programming"],"prefix":"10.1007","author":[{"given":"Haitao Steve","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu David","family":"Liu","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":"19","DOI":"10.1007\/3-540-48294-6_2","volume-title":"Static Analysis","author":"J. Aldrich","year":"1999","unstructured":"Aldrich, J., Chambers, C., Sirer, E.G., Eggers, S.: Static analyses for eliminating unnecessary synchronization from Java programs. In: Cortesi, A., Fil\u00e9, G. (eds.) SAS 1999. LNCS, vol.\u00a01694, pp. 19\u201338. Springer, Heidelberg (1999)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Aldrich, J., Kostadinov, V., Chambers, C.: Alias annotations for program understanding. In: OOPSLA 2002, pp. 311\u2013330 (2002)","DOI":"10.1145\/583854.582448"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/11785477_7","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"C. Andreae","year":"2006","unstructured":"Andreae, C., Coady, Y., Gibbs, C., Noble, J., Vitek, J., Zhao, T.: Scoped types and aspects for real-time Java. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 124\u2013147. Springer, Heidelberg (2006)"},{"key":"5_CR4","volume-title":"Software Change Impact Analysis","author":"R.S. Arnold","year":"1996","unstructured":"Arnold, R.S.: Software Change Impact Analysis. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"5_CR5","unstructured":"Clarke, D.: Object Ownership and Containment. PhD thesis, University of New South Wales (July 2001)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Potter, J., Noble, J.: Ownership types for flexible alias protection. In: OOPSLA, pp. 48\u201364 (1998)","DOI":"10.1145\/286942.286947"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Cohen, M., Zhu, H.S., Emgin, S.E., Liu, Y.D.: Energy types. In: OOPSLA 2012 (October 2012)","DOI":"10.1145\/2384616.2384676"},{"key":"5_CR8","unstructured":"Cypress, \n                    \n                      http:\/\/www.cs.binghamton.edu\/~davidl\/cypress\/"},{"issue":"3","key":"5_CR9","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/365230.365252","volume":"9","author":"J.B. Dennis","year":"1966","unstructured":"Dennis, J.B., Van Horn, E.C.: Programming semantics for multiprogrammed computations. Commun. ACM\u00a09(3), 143\u2013155 (1966)","journal-title":"Commun. ACM"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-642-22655-7_16","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"W. Dietl","year":"2011","unstructured":"Dietl, W., Ernst, M.D., M\u00fcller, P.: Tunable static inference for generic universe types. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 333\u2013357. Springer, Heidelberg (2011)"},{"issue":"8","key":"5_CR11","doi-asserted-by":"publisher","first-page":"5","DOI":"10.5381\/jot.2005.4.8.a1","volume":"4","author":"W. Dietl","year":"2005","unstructured":"Dietl, W., M\u00fcller, P.: Universes: Lightweight ownership for jml. Journal of Object Technology\u00a04(8), 5\u201332 (2005)","journal-title":"Journal of Object Technology"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-642-14107-2_24","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"T. Dinsdale-Young","year":"2010","unstructured":"Dinsdale-Young, T., Dodds, M., Gardner, P., Parkinson, M.J., Vafeiadis, V.: Concurrent abstract predicates. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 504\u2013528. Springer, Heidelberg (2010)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N., Lifshin, M.: Type inference for atomicity. In: TLDI 2005, pp. 47\u201358 (2005)","DOI":"10.1145\/1040294.1040299"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Grothoff, C., Palsberg, J., Vitek, J.: Encapsulating objects with confined types. In: OOPSLA 2001, pp. 241\u2013255 (2001)","DOI":"10.1145\/504311.504300"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Grunwald, D., Zorn, B., Henderson, R.: Improving the cache locality of memory allocation. In: PLDI 1993, pp. 177\u2013186 (1993)","DOI":"10.1145\/173262.155107"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Gu\u00e9h\u00e9neuc, Y.-G., Albin-Amiot, H.: Recovering binary class relationships: putting icing on the uml cake. In: OOPSLA 2004, pp. 301\u2013314 (2004)","DOI":"10.1145\/1035292.1029002"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-642-31057-7_9","volume-title":"ECOOP 2012 \u2013 Object-Oriented Programming","author":"W. Huang","year":"2012","unstructured":"Huang, W., Dietl, W., Milanova, A., Ernst, M.D.: Inference and checking of object ownership. In: Noble, J. (ed.) ECOOP 2012. LNCS, vol.\u00a07313, pp. 181\u2013206. Springer, Heidelberg (2012)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java - a minimal core calculus for Java and GJ. In: TOPLAS, pp. 132\u2013146 (1999)","DOI":"10.1145\/320385.320395"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Kulkarni, A., Liu, Y.D., Smith, S.F.: Task types for pervasive atomicity. In: OOPSLA 2010 (October 2010)","DOI":"10.1145\/1869459.1869514"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-35182-2_2","volume-title":"Programming Languages and Systems","author":"S. Li","year":"2012","unstructured":"Li, S., Liu, Y.D., Tan, G.: JATO: Native code atomicity for Java. In: Jhala, R., Igarashi, A. (eds.) APLAS 2012. LNCS, vol.\u00a07705, pp. 2\u201317. Springer, Heidelberg (2012)"},{"key":"5_CR21","unstructured":"Liu, Y.D., Smith, S.: Pedigree types. In: IWACO 2008, pp. 63\u201371 (July 2008)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Ma, K.-K., Foster, J.S.: Inferring aliasing and encapsulation properties for Java. In: OOPSLA 2007, pp. 423\u2013440 (2007)","DOI":"10.1145\/1297105.1297059"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Maffeis, S., Mitchell, J.C., Taly, A.: Object capabilities and isolation of untrusted web applications. In: Proceedings of the 2010 IEEE Symposium on Security and Privacy, SP 2010, pp. 125\u2013140 (2010)","DOI":"10.1109\/SP.2010.16"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Milanova, A.: Precise identification of composition relationships for uml class diagrams. In: ASE 2005, pp. 76\u201385 (2005)","DOI":"10.1145\/1101908.1101922"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Milanova, A., Rountev, A., Ryder, B.G.: Parameterized object sensitivity for points-to analysis for Java. TOSEM 14, 1\u201341 (2005)","DOI":"10.1145\/1044834.1044835"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Milanova, A., Vitek, J.: Static dominance inference. In: TOOLS (49), pp. 211\u2013227 (2011)","DOI":"10.1007\/978-3-642-21952-8_16"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/11580850_12","volume-title":"Trustworthy Global Computing","author":"M.S. Miller","year":"2005","unstructured":"Miller, M.S., Tribble, E.D., Shapiro, J.: Concurrency among strangers: Programming in E as plan coordination. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol.\u00a03705, pp. 195\u2013229. Springer, Heidelberg (2005)"},{"key":"5_CR28","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_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/BFb0054091","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"J. Noble","year":"1998","unstructured":"Noble, J., Potter, J., Vitek, J.: Flexible alias protection. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 158\u2013185. Springer, Heidelberg (1998)"},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/3-540-36579-6_11","volume-title":"Compiler Construction","author":"N. Nystrom","year":"2003","unstructured":"Nystrom, N., Clarkson, M.R., Myers, A.C.: Polyglot: An Extensible Compiler Framework for Java. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 138\u2013152. Springer, Heidelberg (2003)"},{"key":"5_CR31","unstructured":"Renieris, M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: ASE, pp. 30\u201339 (2003)"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Smith, L.A., Bull, J.M., Obdrz\u00e1lek, J.: A parallel java grande benchmark suite. In: Supercomputing 2001 (2001)","DOI":"10.1145\/582034.582042"},{"key":"5_CR33","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/224081.224093","volume-title":"Proceedings of the 1995 International Symposium on Low Power Design, ISLPED 1995","author":"C.-L. Su","year":"1995","unstructured":"Su, C.-L., Despain, A.M.: Cache design trade-offs for power and performance optimization: a case study. In: Proceedings of the 1995 International Symposium on Low Power Design, ISLPED 1995, pp. 63\u201368. ACM, New York (1995)"},{"key":"5_CR34","unstructured":"Wren, A.: Ownership type inference. Master\u2019s thesis, Imperial College (2003)"},{"key":"5_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/978-3-642-03013-0_21","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"T. Wrigstad","year":"2009","unstructured":"Wrigstad, T., Pizlo, F., Meawad, F., Zhao, L., Vitek, J.: Loci: Simple thread-locality for Java. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol.\u00a05653, pp. 445\u2013469. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2013 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39038-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T14:54:10Z","timestamp":1557845650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39038-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390371","9783642390388"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39038-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}