{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:10:24Z","timestamp":1763467824447},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540713142"},{"type":"electronic","value":"9783540713166"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71316-6_24","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:58:28Z","timestamp":1184590708000},"page":"347-362","source":"Crossref","is-referenced-by-count":13,"title":["Immutable Objects for a Java-Like Language"],"prefix":"10.1007","author":[{"given":"C.","family":"Haack","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Poll","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Sch\u00e4fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Schubert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Birka, A., Ernst, M.D.: A practical type system and language for reference immutability. In: OOPSLA\u201904, October\u00a026\u201328, 2004, pp. 35\u201349 (2004)","key":"24_CR1","DOI":"10.1145\/1028976.1028980"},{"key":"24_CR2","volume-title":"Effective Java","author":"J. Bloch","year":"2001","unstructured":"Bloch, J.: Effective Java. Addison-Wesley, Reading (2001)"},{"doi-asserted-by":"crossref","unstructured":"Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: POPL\u201903, pp. 213\u2013223 (2003)","key":"24_CR3","DOI":"10.1145\/604131.604156"},{"doi-asserted-by":"crossref","unstructured":"Clarke, D., Drossopoulou, S.: Ownership, encapsulation and the disjointness of type and effect. In: OOPSLA\u201902, pp. 292\u2013310 (2002)","key":"24_CR4","DOI":"10.1145\/582419.582447"},{"doi-asserted-by":"crossref","unstructured":"Clarke, D., Potter, J., Noble, J.: Ownership types for flexible alias protection. In: OOPSLA\u201998, pp. 48\u201364 (1998)","key":"24_CR5","DOI":"10.1145\/286936.286947"},{"issue":"8","key":"24_CR6","doi-asserted-by":"crossref","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 (JOT)\u00a04(8), 5\u201332 (2005)","journal-title":"Journal of Object Technology (JOT)"},{"unstructured":"Goetz, B.: Java theory and practice: Safe construction techniques\u2013don\u2019t let the \u201dthis\u201d reference escape during construction. IBM DevelopersWork (2002), http:\/\/www-106.ibm.com\/developerworks\/java\/library\/j-jtp0618.html","key":"24_CR7"},{"doi-asserted-by":"crossref","unstructured":"Haack, C., et al.: Immutable objects for a Java-like language. Technical report, Radboud University Nijmegen, Forthcoming (2007)","key":"24_CR8","DOI":"10.1007\/978-3-540-71316-6_24"},{"issue":"3","key":"24_CR9","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM TOPLAS\u00a023(3), 396\u2013450 (2001), doi:10.1145\/503502.503505","journal-title":"ACM TOPLAS"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/11785477_6","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"Y. Lu","year":"2006","unstructured":"Lu, Y., Potter, J.: On ownership and accessibility. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 99\u2013123. Springer, Heidelberg (2006)"},{"key":"24_CR11","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/1111037.1111069","volume-title":"POPL\u201906","author":"Y. Lu","year":"2006","unstructured":"Lu, Y., Potter, J.: Protecting representation with effect encapsulation. In: POPL\u201906, pp. 359\u2013371. ACM Press, New York (2006)"},{"unstructured":"M\u00fcller, P., Poetzsch-Heffter, A.: Universes: A type system for alias and dependency control. Technical Report 279, Fernuniversit\u00e4t Hagen (2001)","key":"24_CR12"},{"key":"24_CR13","volume-title":"CASCON\u201902","author":"S. Porat","year":"2000","unstructured":"Porat, S., et al.: Automatic detection of immutable fields in Java. In: CASCON\u201902, IBM Press, Indianapolis (2000)"},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1002\/cpe.853","volume":"17","author":"I. Pechtchanski","year":"2005","unstructured":"Pechtchanski, I., Sarkar, V.: Immutability specification and applications. Concurrency and Computation: Practice and Experience\u00a017, 639\u2013662 (2005)","journal-title":"Concurrency and Computation: Practice and Experience"},{"unstructured":"Sch\u00e4fer, J.: Encapsulation and specification of object-oriented runtime components. Master\u2019s thesis, Technische Universit\u00e4t Kaiserslautern (2004)","key":"24_CR15"},{"key":"24_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/978-3-540-30579-8_14","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A. Salcianu","year":"2005","unstructured":"Salcianu, A., Rinard, M.C.: Purity and side effect analysis for Java programs. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, pp. 199\u2013215. Springer, Heidelberg (2005)"},{"unstructured":"Tschantz, M.S., Ernst, M.D.: Javari: Adding reference immutability to Java. In: OOPSLA\u201905, October\u00a018\u201320, 2005, pp. 211\u2013230 (2005)","key":"24_CR17"},{"issue":"6","key":"24_CR18","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1002\/spe.369","volume":"31","author":"J. Vitek","year":"2001","unstructured":"Vitek, J., Bokowski, B.: Confined types in Java. Softw. Pract. Exper.\u00a031(6), 507\u2013532 (2001)","journal-title":"Softw. Pract. Exper."},{"issue":"1","key":"24_CR19","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation\u00a0115(1), 38\u201394 (1994)","journal-title":"Information and Computation"},{"issue":"1","key":"24_CR20","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1017\/S0956796805005691","volume":"16","author":"T. Zhao","year":"2006","unstructured":"Zhao, T., Palsberg, J., Vitek, J.: Type-based confinement. Journal of Functional Programming\u00a016(1), 83\u2013128 (2006)","journal-title":"Journal of Functional Programming"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71316-6_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T06:38:12Z","timestamp":1683959892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71316-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540713142","9783540713166"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71316-6_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}