{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:42:14Z","timestamp":1743151334688,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642020469"},{"type":"electronic","value":"9783642020476"}],"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-02047-6_4","type":"book-chapter","created":{"date-parts":[[2009,5,14]],"date-time":"2009-05-14T04:59:07Z","timestamp":1242277147000},"page":"30-41","source":"Crossref","is-referenced-by-count":1,"title":["Aliasing, Confinement, and Ownership in Object-Oriented Programming"],"prefix":"10.1007","author":[{"given":"Dave","family":"Clarke","sequence":"first","affiliation":[]},{"given":"Sophia","family":"Drossopoulou","sequence":"additional","affiliation":[]},{"given":"Peter","family":"M\u00fcller","sequence":"additional","affiliation":[]},{"given":"James","family":"Noble","sequence":"additional","affiliation":[]},{"given":"Tobias","family":"Wrigstad","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"ACM SIGPLAN Notices","volume-title":"Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA)","author":"N. Beckman","year":"2008","unstructured":"Beckman, N., Bierhoff, K., Aldrich, J.: Verifying correct usage of atomic blocks and typestate. In: Kiczales, G. (ed.) Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA). ACM SIGPLAN Notices. ACM Press, New York (2008) (to appear)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11804192_6","volume-title":"Formal Methods for Components and Objects","author":"J. Berdine","year":"2006","unstructured":"Berdine, J., Calcagno, C., O\u2019Hearn, P.W.: Smallfoot: Modular automatic assertion checking with separation logic. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 115\u2013137. Springer, Heidelberg (2006)"},{"key":"4_CR3","series-title":"ACM SIGPLAN Notices","volume-title":"Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA)","author":"K. Bierhoff","year":"2007","unstructured":"Bierhoff, K., Aldrich, J.: Modular typestate checking of aliased objects. In: Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA). ACM SIGPLAN Notices. ACM Press, New York (2007)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Bierhoff, K., Aldrich, J.: PLURAL: Checking protocol compliance under aliasing. In: Demonstration in ICSE Companion, pp. 971\u2013972 (2008)","DOI":"10.1145\/1370175.1370213"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-44898-5_4","volume-title":"Static Analysis","author":"J. Boyland","year":"2003","unstructured":"Boyland, J.: Checking interference with fractional permissions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 55\u201372. Springer, Heidelberg (2003)"},{"issue":"5","key":"4_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.5381\/jot.2006.5.5.a1","volume":"5","author":"J. Boyland","year":"2006","unstructured":"Boyland, J.: Why we should not add readonly to java (yet). Journal of Object Technology\u00a05(5), 5\u201329 (2006)","journal-title":"Journal of Object Technology"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-45337-7_2","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"J. Boyland","year":"2001","unstructured":"Boyland, J., Noble, J., Retert, W.: Capabilities for Sharing: A Generalization of Uniqueness and Read-Only. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, p. 2. Springer, Heidelberg (2001)"},{"issue":"1-3","key":"4_CR8","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.tcs.2006.12.034","volume":"375","author":"S. Brookes","year":"2007","unstructured":"Brookes, S.: A semantics for concurrent separation logic. Theor. Comput. Sci.\u00a0375(1-3), 227\u2013270 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR9","unstructured":"Clarke, D.: Object Ownership and Containment. PhD thesis, University of New South Wales (2001)"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-25934-3_19","volume-title":"Object-Oriented Technology. ECOOP 2003 Workshop Reader","author":"D. Clarke","year":"2004","unstructured":"Clarke, D., Drossopoulou, S., Noble, J.: Aliasing, confinement, and ownership in object-oriented programming. In: Buschmann, F., Buchmann, A., Cilia, M.A. (eds.) ECOOP 2003. LNCS, vol.\u00a03013, pp. 197\u2013207. Springer, Heidelberg (2004)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-540-78195-0_5","volume-title":"Object-Oriented Technology. ECOOP 2007 Workshop Reader","author":"D. Clarke","year":"2008","unstructured":"Clarke, D., Drossopoulou, S., Noble, J., Wrigstad, T.: Aliasing, confinement, and ownership in object-oriented programming. In: Cebulla, M. (ed.) ECOOP-WS 2007. LNCS, vol.\u00a04906, pp. 40\u201349. Springer, Heidelberg (2008)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-540-45070-2_9","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"D. Clarke","year":"2003","unstructured":"Clarke, D., Wrigstad, T.: External uniqueness is unique enough. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, pp. 176\u2013200. Springer, Heidelberg (2003)"},{"key":"4_CR13","series-title":"ACM SIGPLAN Notices","first-page":"48","volume-title":"Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA)","author":"D.G. Clarke","year":"1998","unstructured":"Clarke, D.G., Potter, J.M., Noble, J.: Ownership types for flexible alias protection. In: Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA). ACM SIGPLAN Notices, vol.\u00a033(10), pp. 48\u201364. ACM Press, New York (1998)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-540-73589-2_3","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"W. Dietl","year":"2007","unstructured":"Dietl, W., Drossopoulou, S., M\u00fcller, P.: Generic Universe Types. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 28\u201353. Springer, Heidelberg (2007)"},{"issue":"8","key":"4_CR15","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 (JOT)\u00a04(8), 5\u201332 (2005)","journal-title":"Journal of Object Technology (JOT)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/11691372_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Distefano","year":"2006","unstructured":"Distefano, D., O\u2019Hearn, P.W., Yang, H.: A local shape analysis based on separation logic. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 238\u2013252. Springer, Heidelberg (2006)"},{"key":"4_CR17","series-title":"ACM SIGPLAN Notices","volume-title":"Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA)","author":"D. Distefano","year":"2008","unstructured":"Distefano, D., Parkinson, M.J.: jStar: Towards practical verification for Java. In: Kiczales, G. (ed.) Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA). ACM SIGPLAN Notices. ACM Press, New York (2008) (to appear)"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-79980-1_16","volume-title":"Algebraic Methodology and Software Technology","author":"C. Haack","year":"2008","unstructured":"Haack, C., Hurlin, C.: Separation logic contracts for a java-like language with fork\/Join. In: Meseguer, J., Ro\u015fu, G. (eds.) AMAST 2008. LNCS, vol.\u00a05140, pp. 199\u2013215. Springer, Heidelberg (2008)"},{"issue":"2","key":"4_CR19","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/130943.130947","volume":"3","author":"J. Hogg","year":"1992","unstructured":"Hogg, J., Lea, D., Wills, A., de Champeaux, D., Holt, R.: The Geneva Convention on the treatment of object aliasing. OOPS Messenger\u00a03(2), 11\u201316 (1992)","journal-title":"OOPS Messenger"},{"key":"4_CR20","unstructured":"Leavens, G.T., Poll, E., Clifton, C., Cheon, Y., Ruby, C., Cok, D., M\u00fcller, P., Kiniry, J., Chalin, P., Zimmerman, D.M.: JML reference manual. Department of Computer Science, Iowa State University (2008), www.jmlspecs.org"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Leino, K.R.M.: Data groups: Specifying the modification of extended state. In: Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA). ACM SIGPLAN Notices, vol.\u00a033(10), pp. 144\u2013153 (1998)","DOI":"10.1145\/286942.286953"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/978-3-540-24851-4_22","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"K.R.M. Leino","year":"2004","unstructured":"Leino, K.R.M., M\u00fcller, P.: Object invariants in dynamic contexts. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 491\u2013516. Springer, Heidelberg (2004)"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1109\/ICSE.2007.61","volume-title":"International Conference on Software Engineering (ICSE)","author":"Y. Liu","year":"2007","unstructured":"Liu, Y., Milanova, A.: Ownership and immutability inference for uml-based object access control. In: International Conference on Software Engineering (ICSE), pp. 323\u2013332. IEEE Computer Society, Los Alamitos (2007)"},{"key":"4_CR24","first-page":"461","volume-title":"Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA)","author":"P. M\u00fcller","year":"2007","unstructured":"M\u00fcller, P., Rudich, A.: Ownership transfer in Universe Types. In: Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA), pp. 461\u2013478. ACM Press, New York (2007)"},{"key":"4_CR25","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., Vitek, J., Potter, J.: Flexible alias protection. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 158\u2013185. Springer, Heidelberg (1998)"},{"key":"4_CR26","series-title":"LNBIP","first-page":"178","volume-title":"TOOLS Europe","author":"J. \u00d6stlund","year":"2008","unstructured":"\u00d6stlund, J., Wrigstad, T., Clarke, D., \u00c5kerblom, B.: Ownership, uniqueness, and immutability. In: Paige, R., Meyer, B. (eds.) TOOLS Europe. LNBIP, vol.\u00a011, pp. 178\u2013197. Springer, Heidelberg (2008)"},{"key":"4_CR27","unstructured":"Parkinson, M.J.: Class invariants: the end of the road. In: IWACO (2007)"},{"key":"4_CR28","first-page":"75","volume-title":"Principles of Programming Languages (POPL)","author":"M.J. Parkinson","year":"2005","unstructured":"Parkinson, M.J., Bierman, G.: Separation logic, abstraction, and inheritance. In: Principles of Programming Languages (POPL), pp. 75\u201386. ACM Press, New York (2005)"},{"key":"4_CR29","series-title":"ACM SIGPLAN Notices","first-page":"311","volume-title":"Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA)","author":"A. Potanin","year":"2006","unstructured":"Potanin, A., Noble, J., Clarke, D., Biddle, R.: Generic ownership for generic java. In: Cook, W. (ed.) Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA). ACM SIGPLAN Notices, vol.\u00a041(10), pp. 311\u2013324. ACM Press, New York (2006)"},{"key":"4_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-540-24851-4_21","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"R. DeLine","year":"2004","unstructured":"DeLine, R., F\u00e4hndrich, M.: Typestates for objects. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 465\u2013490. Springer, Heidelberg (2004)"},{"key":"4_CR31","first-page":"75","volume-title":"European software engineering conference and foundations of software engineering (ESEC-FSE)","author":"Y. Zibin","year":"2007","unstructured":"Zibin, Y., Potanin, A., Ali, M., Artzi, S., Kie\u017cun, A., Ernst, M.D.: Object and reference immutability using java generics. In: European software engineering conference and foundations of software engineering (ESEC-FSE), pp. 75\u201384. ACM Press, New York (2007)"}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Technology. ECOOP 2008 Workshop Reader"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02047-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T22:14:22Z","timestamp":1558304062000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02047-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642020469","9783642020476"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02047-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}