{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:17Z","timestamp":1762458977767},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642310560"},{"type":"electronic","value":"9783642310577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31057-7_8","type":"book-chapter","created":{"date-parts":[[2012,6,28]],"date-time":"2012-06-28T11:17:41Z","timestamp":1340882261000},"page":"156-180","source":"Crossref","is-referenced-by-count":2,"title":["Multiple Aggregate Entry Points for Ownership Types"],"prefix":"10.1007","author":[{"given":"Johan","family":"\u00d6stlund","sequence":"first","affiliation":[]},{"given":"Tobias","family":"Wrigstad","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","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: Vetta, A. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 1\u201325. Springer, Heidelberg (2004)"},{"key":"8_CR2","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":"8_CR3","unstructured":"Banerjee, A., Naumann, D.A.: Secure Information Flow and Pointer Confinement in a Java-like Language. In: Proceedings of the Fifteenth IEEE Computer Security Foundations Workshop (CSFW), pp. 253\u2013267. IEEE Computer Society Press (June 2002)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-27764-4_5","volume-title":"Mathematics of Program Construction","author":"M. Barnett","year":"2004","unstructured":"Barnett, M., Naumann, J.D.A.: Friends Need a Bit More: Maintaining Invariants Over Shared State. In: Kozen, D. (ed.) MPC 2004. LNCS, vol.\u00a03125, pp. 54\u201384. Springer, Heidelberg (2004)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Booch, G., Maksimchuk, R.A., Engle, M.W., Young, B.J., Connallen, J., Houston, K.A.: Object-oriented analysis and design with applications, third edition. SIGSOFT Softw. Eng. Notes, 33, 11:29\u201311:29 (2008)","DOI":"10.1145\/1402521.1413138"},{"key":"8_CR6","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":"8_CR7","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":"8_CR8","first-page":"403","volume-title":"OOPSLA","author":"C. Boyapati","year":"2003","unstructured":"Boyapati, C., Liskov, B., Shrira, L., Moh, C.-H., Richman, S.: Lazy Modular Upgrades in Persistent Object Stores. In: OOPSLA, pp. 403\u2013417. ACM, New York (2003)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Salcianu, A., Beebee, W., Rinard, M.: Ownership Types for Safe Region-Based Memory Management in Real-Time Java. In: PLDI (June 2003)","DOI":"10.1145\/781167.781168"},{"key":"8_CR10","unstructured":"Boyland, J., Retert, W., Zhao, Y.: Iterators can be Independent from Their Collections. In: IWACO (2007)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Cameron, N.R., Drossopoulou, S., Noble, J., Smith, M.J.: Multiple Ownership. In: OOPSLA (2007)","DOI":"10.1145\/1297027.1297060"},{"key":"8_CR12","unstructured":"Clarke, D.: Object Ownership and Containment. PhD thesis, School of Computer Science and Engineering, University of New South Wales, Sydney, Australia (2001)"},{"key":"8_CR13","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":"8_CR14","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\u2013201. Springer, Heidelberg (2003)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-89330-1_11","volume-title":"Programming Languages and Systems","author":"D. Clarke","year":"2008","unstructured":"Clarke, D., Wrigstad, T., \u00d6stlund, J., Johnsen, E.B.: Minimal Ownership for Active Objects. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol.\u00a05356, pp. 139\u2013154. Springer, Heidelberg (2008)"},{"key":"8_CR16","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":"8_CR17","unstructured":"Cunningham, D., Drossopoulou, S., Eisenbach, S.: Universe Types for Race Safety. In: VAMP 2007, pp. 20\u201351 (September 2007)"},{"key":"8_CR18","unstructured":"Dietl, W.: Universe Types: Topology, Encapsulation, Genericity, and Tools. Ph.D., Department of Computer Science, ETH Zurich, Doctoral Thesis ETH No.\u00a018522 (December 2009)"},{"key":"8_CR19","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: Bateni, M. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 28\u201353. Springer, Heidelberg (2007)"},{"key":"8_CR20","first-page":"1","volume-title":"OOPSLA","author":"T. Ekman","year":"2007","unstructured":"Ekman, T., Hedin, G.: The Jastadd Extensible Java Compiler. In: OOPSLA, pp. 1\u201318. ACM, New York (2007)"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Ernst, E., Ostermann, K., Cook, W.R.: A Virtual Class Calculus. In: Proceedings of Principles of Programming Languages (POPL) (January 2006)","DOI":"10.1145\/1111037.1111062"},{"issue":"10","key":"8_CR22","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.\u00a042(10), 337\u2013350 (2007)","journal-title":"SIGPLAN Not."},{"key":"8_CR23","volume-title":"Design patterns: elements of reusable object-oriented software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/3-540-48743-3_10","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"A. Greenhouse","year":"1999","unstructured":"Greenhouse, A., Boyland, J.: An Object-Oriented Effects System. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 205\u2013229. Springer, Heidelberg (1999)"},{"issue":"3","key":"8_CR25","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR26","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1145\/286936.286953","volume-title":"OOPSLA","author":"K.R.M. Leino","year":"1998","unstructured":"Leino, K.R.M.: Data groups: specifying the modification of extended state. In: OOPSLA, pp. 144\u2013153. ACM, New York (1998)"},{"key":"8_CR27","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: Vetta, A. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 491\u2013515. Springer, Heidelberg (2004)"},{"key":"8_CR28","unstructured":"Li, P., Cameron, N., Noble, J.: Mojojojo - more ownership for multiple owners. In: International Workshop on Foundations of Object-Oriented Languages, FOOL (2010)"},{"key":"8_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-642-10672-9_12","volume-title":"Programming Languages and Systems","author":"Y. Lu","year":"2009","unstructured":"Lu, Y., Potter, J., Xue, J.: Ownership Downgrading for Ownership Types. In: Hu, Z. (ed.) APLAS 2009. LNCS, vol.\u00a05904, pp. 144\u2013160. Springer, Heidelberg (2009)"},{"key":"8_CR30","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":"8_CR31","doi-asserted-by":"crossref","unstructured":"M\u00fcller, P., Poetzsch-Heffter, A., Leavens, G.T.: Modular Specification of Frame Properties in JML. In: Concurrency and Computation Practice and Experience (2003)","DOI":"10.1002\/cpe.713"},{"key":"8_CR32","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1145\/1297027.1297061","volume-title":"OOPSLA","author":"P. M\u00fcller","year":"2007","unstructured":"M\u00fcller, P., Rudich, A.: Ownership Transfer in Universe Types. In: OOPSLA, pp. 461\u2013478. ACM, New York (2007)"},{"key":"8_CR33","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":"8_CR34","series-title":"LNBIP","first-page":"178","volume-title":"TOOLS EUROPE 2008","author":"J. \u00d6stlund","year":"2008","unstructured":"\u00d6stlund, J., Wrigstad, T., Clarke, D., \u00c5kerblom, B.: Ownership, Uniqueness, and Immutability. In: Paige, R.F., Meyer, B. (eds.) TOOLS EUROPE 2008. LNBIP, vol.\u00a011, pp. 178\u2013197. Springer, Heidelberg (2008)"},{"key":"8_CR35","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1145\/1167473.1167500","volume-title":"OOPSLA","author":"A. Potanin","year":"2006","unstructured":"Potanin, A., Noble, J., Clarke, D., Biddle, R.: Generic Ownership for Generic Java. In: OOPSLA, pp. 311\u2013324. ACM, New York (2006)"},{"key":"8_CR36","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":"8_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-642-14107-2_13","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"J. Sch\u00e4fer","year":"2010","unstructured":"Sch\u00e4fer, J., Poetzsch-Heffter, A.: JCoBox: Generalizing Active Objects to Concurrent Components. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 275\u2013299. Springer, Heidelberg (2010)"},{"key":"8_CR38","unstructured":"Wrigstad, T.: Ownership-Based Alias Management. PhD thesis, Royal Institute of Technology, Kista, Stockholm (May 2006)"},{"key":"8_CR39","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)"},{"key":"8_CR40","first-page":"598","volume-title":"OOPSLA 2010","author":"Y. Zibin","year":"2010","unstructured":"Zibin, Y., Potanin, A., Li, P., Ali, M., Ernst, M.D.: Ownership and Immutability in Generic Java. In: OOPSLA 2010, pp. 598\u2013617. ACM, New York (2010)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2012 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31057-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T23:21:18Z","timestamp":1687562478000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31057-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642310560","9783642310577"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31057-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}