{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T16:45:38Z","timestamp":1743439538182},"publisher-location":"Berlin, Heidelberg","reference-count":62,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540893295"},{"type":"electronic","value":"9783540893301"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89330-1_11","type":"book-chapter","created":{"date-parts":[[2008,11,27]],"date-time":"2008-11-27T02:43:37Z","timestamp":1227753817000},"page":"139-154","source":"Crossref","is-referenced-by-count":40,"title":["Minimal Ownership for Active Objects"],"prefix":"10.1007","author":[{"given":"Dave","family":"Clarke","sequence":"first","affiliation":[]},{"given":"Tobias","family":"Wrigstad","sequence":"additional","affiliation":[]},{"given":"Johan","family":"\u00d6stlund","sequence":"additional","affiliation":[]},{"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","first-page":"49","volume-title":"Research Directions in Object-Oriented Programming","author":"G. Agha","year":"1987","unstructured":"Agha, G., Hewitt, C.: Actors: A conceptual foundation for concurrent object-oriented programming. In: Research Directions in Object-Oriented Programming, pp. 49\u201374. MIT Press, Cambridge (1987)"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24851-4_1","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"J. Aldrich","year":"2004","unstructured":"Aldrich, J., Chambers, C.: Ownership Domains: Separating Aliasing Policy from Mechanism. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 1\u201325. Springer, Heidelberg (2004)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Aldrich, J., Kostadinov, V., Chambers, C.: Alias Annotations for Program Understanding. In: OOPSLA (November 2002)","DOI":"10.1145\/582419.582448"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/BFb0053373","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"P.S. Almeida","year":"1997","unstructured":"Almeida, P.S.: Balloon Types: Controlling sharing of state in data types. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 32\u201359. Springer, Heidelberg (1997)"},{"key":"11_CR5","unstructured":"Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf (2007)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Auerbach, J., Bacon, D., Guerraoui, R., Spring, J., Vitek, J.: Flexible task graphs: A unified restricted thread programming model for java. In: LCTES (2008)","DOI":"10.1145\/1375657.1375659"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Bacon, D.F., Strom, R.E., Tarafdar, A.: Guava: a dialect of Java without data races. In: OOPSLA (2000)","DOI":"10.1145\/353171.353197"},{"key":"11_CR8","volume-title":"Chapter Programming, Composing, Deploying, for the Grid","author":"L. Baduel","year":"2006","unstructured":"Baduel, L., Baude, F., Caromel, D., Contes, A., Huet, F., Morel, M., Quilici, R.: Grid Computing: Software Environments and Tools. In: Chapter Programming, Composing, Deploying, for the Grid. Springer, Heidelberg (2006)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Baker Jr., H.G., Hewitt, C.: The incremental garbage collection of processes. In: Proceeding of the Symposium on Artificial Intelligence Programming Languages, ACMSIGPLAN Notices, August 1977, vol.\u00a012, p. 11 (1977)","DOI":"10.1145\/800228.806932"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Birka, A., Ernst, M.D.: A practical type system and language for reference immutability. In: OOPSLA, October 2004, pp. 35\u201349 (2004)","DOI":"10.1145\/1028976.1028980"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership Types for Safe Programming: Preventing Data Races and Deadlocks. In: OOPSLA (2002)","DOI":"10.1145\/582419.582440"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Liskov, B., Shrira, L.: Ownership Types for Object Encapsulation. In: POPL (2003)","DOI":"10.1145\/604131.604156"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Rinard, M.: A Parameterized Type System for Race-Free Java Programs. In: OOPSLA (2001)","DOI":"10.1145\/504282.504287"},{"issue":"6","key":"11_CR14","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1002\/spe.370","volume":"31","author":"J. Boyland","year":"2001","unstructured":"Boyland, J.: Alias burying: Unique variables without destructive reads. Software\u2014Practice and Experience\u00a031(6), 533\u2013553 (2001)","journal-title":"Software\u2014Practice and Experience"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Boyland, J.: Why we should not add readonly to Java (yet). Journal of Object Technology 5(5), 5\u201329 (June 2006) Special issue: ECOOP 2005 Workshop FTfJP.","DOI":"10.5381\/jot.2006.5.5.a1"},{"issue":"4","key":"11_CR16","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1145\/1146809.1146813","volume":"28","author":"R. Carlsson","year":"2006","unstructured":"Carlsson, R., Sagonas, K.F., Wilhelmsson, J.: Message analysis for concurrent programs using message passing. ACM TOPLAS\u00a028(4), 715\u2013746 (2006)","journal-title":"ACM TOPLAS"},{"key":"11_CR17","unstructured":"Caromel, D.: Service, Asynchrony, and Wait-By-Necessity. Journal of Object Orientated Programming (JOOP), 12\u201322 (November 1989)"},{"key":"11_CR18","volume-title":"A Theory of Distributed Objects","author":"D. Caromel","year":"2005","unstructured":"Caromel, D., Henrio, L.: A Theory of Distributed Objects. Springer, Heidelberg (2005)"},{"key":"11_CR19","unstructured":"Clarke, D.: Object Ownership and Containment. Ph.D thesis, School of Computer Science and Engineering, University of New South Wales, Sydney, Australia (2001)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Clarke, D., Drossopolou, S.: Ownership, Encapsulation and the Disjointness of Type and Effect. In: OOPSLA (2002)","DOI":"10.1145\/582419.582447"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/3-540-45669-4","volume-title":"European Conference on Object-Oriented Programming","author":"D. Clarke","year":"2002","unstructured":"Clarke, D., Wrigstad, T.: External uniqueness is unique enough. In: Cardelli, L. (ed.) European Conference on Object-Oriented Programming. LNCS, vol.\u00a02473, pp. 176\u2013200. Springer, Heidelberg (2002)"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Clarke, D., Wrigstad, T., \u00d6stlund, J., Johnsen, E.B.: Minimal Ownership for Active Objects. Technical Report SEN-R0803, CWI (June 2008), http:\/\/ftp.cwi.nl\/CWIreports\/SEN\/SEN-R0803.pdf","DOI":"10.1007\/978-3-540-89330-1_11"},{"key":"11_CR23","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"},{"key":"11_CR24","unstructured":"Cunningham, D., Drossopoulou, S., Eisenbach, S.: Universe Types for Race Safety. In: VAMP 2007, September 2007, pp. 20\u201351 (2007)"},{"key":"11_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-540-71316-6_22","volume-title":"Programming Languages and Systems","author":"F.S. Boer de","year":"2007","unstructured":"de Boer, F.S., Clarke, D., Johnsen, E.B.: A complete guide to the future. In: de Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 316\u2013330. Springer, Heidelberg (2007)"},{"key":"11_CR26","unstructured":"de Jong, H.: Flexible Heterogeneous Software Systems. PhD thesis, Faculty of Natural Sciences, Math. and Computer Science, Uni. of Amsterdam (January 2007)"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11693024_1","volume-title":"Programming Languages and Systems","author":"S. Drossopoulou","year":"2006","unstructured":"Drossopoulou, S., Clarke, D., Noble, J.: Types for hierarchic shapes. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol.\u00a03924, pp. 1\u20136. Springer, Heidelberg (2006)"},{"issue":"10","key":"11_CR28","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/1297105.1297052","volume":"42","author":"M. Fahndrich","year":"2007","unstructured":"Fahndrich, M., Xia, S.: Establishing object invariants with delayed types. SIGPLAN Not. 42(10), 337\u2013350 (2007)","journal-title":"SIGPLAN Not"},{"key":"11_CR29","unstructured":"Grossman, D., Hicks, M., Jim, T., Morrisett, G.: Cyclone: A type-safe dialect of C. C\/C++ Users Journal\u00a023(1) (January 2005)"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Hogg, J.: Islands: Aliasing protection in object-oriented languages. In: OOPSLA (November 1991)","DOI":"10.1145\/117954.117975"},{"issue":"2","key":"11_CR31","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"},{"issue":"2","key":"11_CR32","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/1243418.1243424","volume":"40","author":"G. Hunt","year":"2007","unstructured":"Hunt, G., Larus, J.: Singularity: Rethinking the software stack. Operating Systems Review\u00a040(2), 37\u201349 (2007)","journal-title":"Operating Systems Review"},{"key":"11_CR33","unstructured":"Hutchinson, N.C., Raj, R.K., Black, A.P., Levy, H.M., Jul, E.: The Emerald programming language report. Technical Report 87-10-07, Seattle, WA (USA) (1987) (Revised 1997)"},{"issue":"1","key":"11_CR34","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s10270-006-0011-2","volume":"6","author":"E.B. Johnsen","year":"2007","unstructured":"Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. Software and Systems Modeling\u00a06(1), 35\u201358 (2007)","journal-title":"Software and Systems Modeling"},{"key":"11_CR35","unstructured":"Jones, S.P., Hughes. J. (eds.): Haskell 98: A non-strict, purely functional language. Technical report (February 1999)"},{"key":"11_CR36","volume-title":"IWJPDC 2008","author":"C. Kotselidis","year":"2008","unstructured":"Kotselidis, C., Ansari, M., Jarvis, K., Luj\u00e1n, M., Kirkham, C., Watson, I.: Investigating software transactional memory on clusters. In: IWJPDC 2008. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"11_CR37","unstructured":"Lavender, R.G., Schmidt, D.C.: Active object: an object behavioral pattern for concurrent programming. In: Proc. Pattern Languages of Programs (1995)"},{"key":"11_CR38","volume-title":"Concurrent Programming in Java","author":"D. Lea","year":"2000","unstructured":"Lea, D.: Concurrent Programming in Java, 2nd edn. Addison-Wesley, Reading (2000)","edition":"2"},{"key":"11_CR39","doi-asserted-by":"crossref","unstructured":"Ma, K.-K., Foster, J.S.: Inferring aliasing and encapsulation properties for Java. In: OOPSLA, pp. 423\u2013440 (2007)","DOI":"10.1145\/1297027.1297059"},{"key":"11_CR40","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: The Language. Prentice-Hall, Englewood Cliffs (1992)"},{"issue":"9","key":"11_CR41","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/162685.162705","volume":"36","author":"B. Meyer","year":"1993","unstructured":"Meyer, B.: Systematic concurrent object-oriented programming. CACM\u00a036(9), 56\u201380 (1993)","journal-title":"CACM"},{"key":"11_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/BFb0053062","volume-title":"ECOOP \u201996 - Object-Oriented Programming","author":"N.H. Minsky","year":"1996","unstructured":"Minsky, N.H.: Towards alias-free pointers. In: Cointe, P. (ed.) ECOOP 1996. LNCS, vol.\u00a01098, pp. 189\u2013209. Springer, Heidelberg (1996)"},{"key":"11_CR43","unstructured":"Morris, B.: CActive and Friends. Symbian Developer Network (November 2007), http:\/\/developer.symbian.com\/main\/downloads\/papers\/CActiveAndFriends\/CActiveAndFriends.pdf"},{"key":"11_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45651-1","volume-title":"Modular Specification and Verification of Object-Oriented Programs","author":"P. M\u00fcller","year":"2002","unstructured":"M\u00fcller, P.: Modular Specification and Verification of Object-Oriented Programs. LNCS, vol.\u00a02262. Springer, Heidelberg (2002)"},{"key":"11_CR45","unstructured":"M\u00fcller, P., Poetzsch-Heffter, A.: Universes: A type system for controlling representation exposure. In: Poetzsch-Heffter, A., Meyer, J. (eds.), Programming Languages and Fundamentals of Programming, pp. 131\u2013140. Technical Report 263, Fernuniversit\u00e4t Hagen (1999)"},{"key":"11_CR46","unstructured":"Nienaltowski, P.: Practical framework for contract-based concurrent object-oriented programming. Ph.D thesis, Department of Computer Science, ETH Zurich (2007)"},{"key":"11_CR47","doi-asserted-by":"crossref","unstructured":"Noble, J., Clarke, D., Potter, J.: Object ownership for dynamic alias protection. In: TOOLS Pacific, Melbourne, Australia (November 1999)","DOI":"10.1109\/TOOLS.1999.809424"},{"key":"11_CR48","series-title":"Lecture Notes in Computer Science","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. Springer, Heidelberg (1998)"},{"key":"11_CR49","doi-asserted-by":"crossref","unstructured":"\u00d6stlund, J., Wrigstad, T., Clarke, D., \u00c5kerblom, B.: Ownership, uniqueness and immutability. In: IWACO (2007)","DOI":"10.1007\/978-3-540-69824-1_11"},{"key":"11_CR50","unstructured":"Potanin, A., Noble, J.: Checking ownership and confinement properties. In: Formal Techniques for Java-like Programs (2002)"},{"issue":"1","key":"11_CR51","first-page":"91","volume":"21","author":"R.K. Raj","year":"1991","unstructured":"Raj, R.K., Tempero, E., Levy, H.M., Black, A.P., Hutchinson, N.C., Jul, E.: Emerald: A general-purpose programming language. Software: Practice and Experience\u00a021(1), 91\u2013118 (1991)","journal-title":"Software: Practice and Experience"},{"key":"11_CR52","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.) Principles and Practice of Parallel Programming (2007)","DOI":"10.1145\/1229428.1229483"},{"key":"11_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-540-68863-1_13","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"J. Sch\u00e4fer","year":"2008","unstructured":"Sch\u00e4fer, J., Poetzsch-Heffter, A.: CoBoxes: Unifying active objects and structured heaps. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 201\u2013219. Springer, Heidelberg (2008)"},{"key":"11_CR54","first-page":"204","volume-title":"PODC 1995","author":"N. Shavit","year":"1995","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. In: PODC 1995, pp. 204\u2013213. ACM Press, New York (1995)"},{"key":"11_CR55","unstructured":"Skoglund, M., Wrigstad, T.: Alias control with read-only references. In: Sixth Conference on Computer Science and Informatics (March 2002)"},{"key":"11_CR56","doi-asserted-by":"crossref","unstructured":"Spring, J.H., Privat, J., Guerraoui, R., Vitek, J.: StreamFlex: High-throughput Stream Programming in Java. In: OOPSLA (October 2007)","DOI":"10.1145\/1297027.1297043"},{"key":"11_CR57","volume-title":"The C++ Programming Language","author":"B. Stroustrup","year":"1986","unstructured":"Stroustrup, B.: The C++ Programming Language. Addison-Wesley, Reading (1986)"},{"key":"11_CR58","doi-asserted-by":"crossref","unstructured":"Tschantz, M.S., Ernst, M.D.: Javari: Adding reference immutability to Java. In: OOPSLA, pp. 211\u2013230 (October 2005)","DOI":"10.1145\/1103845.1094828"},{"key":"11_CR59","unstructured":"Wrigstad, T.: Ownership-Based Alias Management. PhD thesis, Royal Institute of Technology, Kista, Stockholm (May 2006)"},{"issue":"6","key":"11_CR60","doi-asserted-by":"publisher","first-page":"141","DOI":"10.5381\/jot.2007.6.4.a5","volume":"4","author":"T. Wrigstad","year":"2007","unstructured":"Wrigstad, T., Clarke, D.: Existential owners for ownership types. Journal of Object Technology\u00a04(6), 141\u2013159 (2007)","journal-title":"Journal of Object Technology"},{"key":"11_CR61","doi-asserted-by":"crossref","unstructured":"Yonezawa, A., Briot, J.-P., Shibayama, E.: Object-oriented concurrent programming in ABCL\/1. In: OOPSLA 1986. SIGPLAN Notices, vol.\u00a021(11), pp. 258\u2013268 (November 1986)","DOI":"10.1145\/960112.28722"},{"key":"11_CR62","first-page":"75","volume-title":"ESEC\/SIGSOFT FSE","author":"Y. Zibin","year":"2007","unstructured":"Zibin, Y., Potanin, A., Ali, M., Artzi, S., Kiezun, A., Ernst, M.D.: Object and reference immutability using Java generics. In: Crnkovic, I., Bertolino, A. (eds.) ESEC\/SIGSOFT FSE, pp. 75\u201384. ACM Press, New York (2007)"}],"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-89330-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T19:47:55Z","timestamp":1557949675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89330-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540893295","9783540893301"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89330-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}