{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:57:25Z","timestamp":1754488645949},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540921875"},{"type":"electronic","value":"9783540921882"}],"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-92188-2_4","type":"book-chapter","created":{"date-parts":[[2008,12,3]],"date-time":"2008-12-03T09:00:21Z","timestamp":1228294821000},"page":"72-112","source":"Crossref","is-referenced-by-count":18,"title":["Universe Types for Topology and Encapsulation"],"prefix":"10.1007","author":[{"given":"Dave","family":"Cunningham","sequence":"first","affiliation":[]},{"given":"Werner","family":"Dietl","sequence":"additional","affiliation":[]},{"given":"Sophia","family":"Drossopoulou","sequence":"additional","affiliation":[]},{"given":"Adrian","family":"Francalanza","sequence":"additional","affiliation":[]},{"given":"Peter","family":"M\u00fcller","sequence":"additional","affiliation":[]},{"given":"Alexander J.","family":"Summers","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_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: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 1\u201325. Springer, Heidelberg (2004)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/11785477_7","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"C. Andreae","year":"2006","unstructured":"Andreae, C., Coady, Y., Gibbs, C., Noble, J., Vitek, J., Zhao, T.: Scoped types and aspects for real-time java. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 124\u2013147. Springer, Heidelberg (2006)"},{"key":"4_CR3","first-page":"166","volume-title":"Principles of Programming Languages (POPL)","author":"A. Banerjee","year":"2002","unstructured":"Banerjee, A., Naumann, D.: Representation independence, confinement, and access control. In: Principles of Programming Languages (POPL), pp. 166\u2013177. ACM Press, New York (2002)"},{"key":"4_CR4","unstructured":"Boyapati, C.: SafeJava: A Unified Type System for Safe Programming. PhD thesis, MIT (2004)"},{"key":"4_CR5","volume-title":"Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","author":"C. Boyapati","year":"2002","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: Preventing data races and deadlocks. In: Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). ACM, New York (2002)"},{"key":"4_CR6","first-page":"213","volume-title":"Principles of programming languages (POPL)","author":"C. Boyapati","year":"2003","unstructured":"Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: Principles of programming languages (POPL), pp. 213\u2013223. ACM Press, New York (2003)"},{"key":"4_CR7","first-page":"441","volume-title":"Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","author":"N. Cameron","year":"2007","unstructured":"Cameron, N., Drossopoulou, S., Noble, J., Smith, M.: Multiple Ownership. In: Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 441\u2013460. ACM Press, New York (2007)"},{"key":"4_CR8","unstructured":"Clarke, D.: Object Ownership and Containment. PhD thesis, University of New South Wales (2001)"},{"key":"4_CR9","first-page":"292","volume-title":"Object-oriented programming, systems, languages, and applications (OOPSLA)","author":"D. Clarke","year":"2002","unstructured":"Clarke, D., Drossopoulou, S.: Ownership, Encapsulation and the Disjointness of Types and Effects. In: Object-oriented programming, systems, languages, and applications (OOPSLA), pp. 292\u2013310. ACM, New York (2002)"},{"key":"4_CR10","first-page":"48","volume-title":"Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","author":"D. Clarke","year":"1998","unstructured":"Clarke, D., Potter, J., Noble, J.: Ownership types for flexible alias protection. In: Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), vol.\u00a033(10), pp. 48\u201364. ACM Press, New York (1998)"},{"key":"4_CR11","unstructured":"Cunningham, D., Drossopoulou, S., Eisenbach, S.: Universe Types for Race Safety. In: Verification and Analysis of Multi-threaded Java-like Programs (VAMP), pp. 20\u201351 (2007)"},{"key":"4_CR12","unstructured":"Dietl, W.: JML2 Eclipse plug-in, \n                    \n                      http:\/\/pm.inf.ethz.ch\/research\/universes\/tools\/eclipse\/"},{"key":"4_CR13","unstructured":"Dietl, W.: Universe type system tools for Scala, \n                    \n                      http:\/\/pm.inf.ethz.ch\/research\/universes\/tools\/scala\/"},{"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","unstructured":"Dietl, W., M\u00fcller, P.: Ownership type systems and dependent classes. In: Foundations of Object-Oriented Languages (FOOL) (2008)"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0304-3975(87)90109-5","volume":"52","author":"M. Felleisen","year":"1987","unstructured":"Felleisen, M., Friedman, D.P., Kohlbecker, E., Duba, B.: A syntactic theory of sequential control. Journal of Theoretical Computer Science\u00a052, 205\u2013237 (1987)","journal-title":"Journal of Theoretical Computer Science"},{"key":"4_CR18","first-page":"1","volume-title":"Types in Language Design and Implementation (TLDI)","author":"C. Flanagan","year":"2003","unstructured":"Flanagan, C., Qadeer, S.: Types for atomicity. In: Types in Language Design and Implementation (TLDI), pp. 1\u201312. ACM Press, New York (2003)"},{"key":"4_CR19","first-page":"133","volume-title":"Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)","author":"V. Gasiunas","year":"2007","unstructured":"Gasiunas, V., Mezini, M., Ostermann, K.: Dependent classes. In: Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 133\u2013152. ACM Press, New York (2007)"},{"key":"4_CR20","unstructured":"Global Computing\u00a0Proactive Initiative. Mobius: Mobility, Ubiquity and Security. IST-15905, \n                    \n                      http:\/\/mobius.inria.fr\/"},{"key":"4_CR21","unstructured":"Kleberma\u00df, M.: An Isabelle formalization of the Universe Type System. Master\u2019s thesis, Technical University Munich and ETH Zurich (2007), \n                    \n                      http:\/\/pm.inf.ethz.ch\/projects\/student_docs\/Martin_Klebermass\/"},{"key":"4_CR22","unstructured":"Leavens, G.T., Poll, E., Clifton, C., Cheon, Y., Ruby, C., Cok, D., M\u00fcller, P., Kiniry, J., Chalin, P., Zimmerman, D.M., Dietl, W.: JML reference manual. Department of Computer Science, Iowa State University (2008), \n                    \n                      http:\/\/www.jmlspecs.org"},{"key":"4_CR23","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_CR24","first-page":"359","volume-title":"Principles of programming languages (POPL)","author":"Y. Lu","year":"2006","unstructured":"Lu, Y., Potter, J.: Protecting Representation with Effect Encapsulation. In: Principles of programming languages (POPL), pp. 359\u2013371. ACM Press, New York (2006)"},{"issue":"3","key":"4_CR25","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1145\/44501.45065","volume":"10","author":"J.C. Mitchell","year":"1988","unstructured":"Mitchell, J.C., Plotkin, G.D.: Abstract types have existential type. ACM Trans. Program. Lang. Syst.\u00a010(3), 470\u2013502 (1988)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR26","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":"4_CR27","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/j.scico.2006.03.001","volume":"62","author":"P. M\u00fcller","year":"2006","unstructured":"M\u00fcller, P., Poetzsch-Heffter, A., Leavens, G.T.: Modular invariants for layered object structures. Science of Computer Programming\u00a062, 253\u2013286 (2006)","journal-title":"Science of Computer Programming"},{"key":"4_CR28","first-page":"461","volume-title":"Object-Oriented Programming, 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 Programming, Systems, Languages and Applications (OOPSLA), pp. 461\u2013478. ACM Press, New York (2007)"},{"key":"4_CR29","first-page":"311","volume-title":"Object-Oriented Programming 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: Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 311\u2013324. ACM Press, New York (2006)"},{"key":"4_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-30579-8_14","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A. S\u0103lcianu","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)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92188-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T08:01:15Z","timestamp":1551686475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92188-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540921875","9783540921882"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92188-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}