{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:32:11Z","timestamp":1725503531600},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540781943"},{"type":"electronic","value":"9783540781950"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78195-0_5","type":"book-chapter","created":{"date-parts":[[2008,2,14]],"date-time":"2008-02-14T04:56:59Z","timestamp":1202965019000},"page":"40-49","source":"Crossref","is-referenced-by-count":3,"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":"James","family":"Noble","sequence":"additional","affiliation":[]},{"given":"Tobias","family":"Wrigstad","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","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)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.) ECCV-WS 2003. LNCS, vol.\u00a03013, pp. 197\u2013207. Springer, Heidelberg (2004)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"5_CR4","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\/286936.286947"},{"issue":"2","key":"5_CR5","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":"5_CR6","unstructured":"M\u00fcller, P., Poetzsch-Heffter, A. (eds.): Universes: A Type System for Controlling Representation Exposure, pp. 131\u2013140 (1999)"},{"key":"5_CR7","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":"5_CR8","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Sarkar, V., von Praun, C.: X10: concurrent programming for modern architectures. In: Yelick, K.A., Mellor-Crummey, J.M. (eds.) PPOPP 2007. Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (2007)","DOI":"10.1145\/1229428.1229483"},{"issue":"1","key":"5_CR9","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","volume":"12","author":"R. Strom","year":"1986","unstructured":"Strom, R., Yemini, S.: Typestate: A programming language concept for enhancing software reliabiity. IEEE Transactions on Software Engineering\u00a012(1), 157\u2013171 (1986)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Technology. ECOOP 2007 Workshop Reader"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78195-0_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:01:00Z","timestamp":1619521260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78195-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540781943","9783540781950"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78195-0_5","relation":{},"subject":[]}}