{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:49:59Z","timestamp":1725558599168},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642139529"},{"type":"electronic","value":"9783642139536"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13953-6_6","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T11:28:13Z","timestamp":1277810893000},"page":"97-116","source":"Crossref","is-referenced-by-count":8,"title":["Welterweight Java"],"prefix":"10.1007","author":[{"given":"Johan","family":"\u00d6stlund","sequence":"first","affiliation":[]},{"given":"Tobias","family":"Wrigstad","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Ahern, A., Yoshida, N.: Formalising Java RMI with Explicit Code Mobility. In: Proceedings of OOPSLA, pp. 403\u2013422 (2005)","DOI":"10.1145\/1094811.1094843"},{"key":"6_CR2","unstructured":"Bierman, G.M., Parkinson, M.J., Pitts, A.M.: MJ: An imperative core calculus for Java and Java with effects. Technical report, University of Cambridge (2003)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","first-page":"59","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. 59\u201367. Springer, Heidelberg (2003)"},{"key":"6_CR4","unstructured":"Clarke, D.: Object Ownership and Containment. PhD thesis, School of Computer Science and Engineering, University of New South Wales, Sydney, Australia (2001)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Clarke, D., Drossopolou, S.: Ownership, encapsulation and the disjointness of type and effect. In: Proceedings of OOPSLA (November 2002)","DOI":"10.1145\/582419.582447"},{"issue":"3","key":"6_CR6","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/j.scico.2006.02.009","volume":"63","author":"C. Clifton","year":"2006","unstructured":"Clifton, C., Leavens, G.T.: MiniMAO1: Investigating the semantics of proceed. Science of Computer Programming\u00a063(3), 321\u2013374 (2006)","journal-title":"Science of Computer Programming"},{"key":"6_CR7","unstructured":"Cunningham, D., Drossopoulou, S., Eisenbach, S.: Universes for race safety. In: VAMP \u201907, September 2007, pp. 20\u201351 (2007)"},{"key":"6_CR8","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":"6_CR9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.5381\/jot.2005.4.8.a1","volume":"4","author":"W. Dietl","year":"2002","unstructured":"Dietl, W., M\u00fcller, P.: Universes: Lightweight Ownership for JML. Journal of Object Technology\u00a04(8), 5\u201332 (2002)","journal-title":"Journal of Object Technology"},{"key":"6_CR10","first-page":"302","volume-title":"Proceedings of OOPSLA","author":"M. F\u00e4hndrich","year":"2003","unstructured":"F\u00e4hndrich, M., Rustan, K., Leino, M.: Declaring and checking non-null types in an object-oriented language. In: Proceedings of OOPSLA, pp. 302\u2013312. ACM, New York (2003)"},{"issue":"10","key":"6_CR11","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/1297105.1297052","volume":"42","author":"M. F\u00e4hndrich","year":"2007","unstructured":"F\u00e4hndrich, M., Xia, S.: Establishing object invariants with delayed types. SIGPLAN Not.\u00a042(10), 337\u2013350 (2007)","journal-title":"SIGPLAN Not."},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-48737-9_7","volume-title":"Formal Syntax and Semantics of Java","author":"M. Flatt","year":"1999","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: A programmer\u2019s reduction semantics for classes and mixins. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java. LNCS, vol.\u00a01523, p. 241. Springer, Heidelberg (1999)"},{"issue":"3","key":"6_CR13","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 TOPLAS\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"key":"6_CR14","first-page":"21","volume-title":"Proceedings of OOPSLA","author":"D. Malayeri","year":"2009","unstructured":"Malayeri, D., Aldrich, J.: Cz: multiple inheritance without diamonds. In: Proceedings of OOPSLA, pp. 21\u201340. ACM, New York (2009)"},{"key":"6_CR15","unstructured":"\u00d6stlund, J., Wrigstad, T.: Welterweight Java website (2009), http:\/\/user.it.uu.se\/~johos902"},{"key":"6_CR16","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1007\/978-3-540-69824-1_11","volume-title":"Objects, Components, Models and Patterns (Proceedings of 46th International Conference on Objects, Models, Components, Patterns)","author":"J. \u00d6stlund","year":"2008","unstructured":"\u00d6stlund, J., Wrigstad, T., Clarke, D., \u00c5kerblom, B.: Ownership, Uniqueness, and Immutability. In: Objects, Components, Models and Patterns (Proceedings of 46th International Conference on Objects, Models, Components, Patterns). Lecture Notes in Business Information Processing, vol.\u00a011, pp. 178\u2013197. Springer, Heidelberg (2008)"},{"key":"6_CR17","unstructured":"Parkinson, M., Strni\u0161a, R.: Lightweight Java web pages (2008\u20132009), http:\/\/www.cl.cam.ac.uk\/research\/pls\/javasem\/lj\/"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/1594834.1480890","volume":"44","author":"X. Qi","year":"2009","unstructured":"Qi, X., Myers, A.C.: Masked types for sound object initialization. SIGPLAN Not.\u00a044(1), 53\u201365 (2009)","journal-title":"SIGPLAN Not."},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Sewell, P., Nardelli, F.Z.: Ott Website (2010), http:\/\/www.cl.cam.ac.uk\/~pes20\/ott\/","DOI":"10.1017\/S0956796809990293"},{"key":"6_CR20","unstructured":"van Dooren, M., Joosen, W.: A modular type system for first-class composition inheritance. Technical Report Report CW 534, Department of Computer Science, K.U.Leuven (January 2009)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Vaziri, M., Tip, F., Dolby, J., Hammer, C., Vitek, J.: A type system for data-centric synchronization. To appear at ECOOP 2010 (2010)","DOI":"10.1007\/978-3-642-14107-2_15"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Wrigstad, T., Clarke, D.: Existential owners for ownership types. Journal of Object Technology 6(4) (May\/June 2007)","DOI":"10.5381\/jot.2007.6.4.a5"},{"key":"6_CR23","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 \u2013 Object-Oriented Programming. LNCS, vol.\u00a05653, pp. 445\u2013469. Springer, Heidelberg (2009)"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/1706299.1706343","volume-title":"POPL \u201910","author":"T. Wrigstad","year":"2010","unstructured":"Wrigstad, T., Nardelli, F.Z., Lebresne, S., \u00d6stlund, J., Vitek, J.: Integrating typed and untyped code in a scripting language. In: POPL \u201910, pp. 377\u2013388. ACM, New York (2010)"}],"container-title":["Lecture Notes in Computer Science","Objects, Models, Components, Patterns"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13953-6_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:45:55Z","timestamp":1606185955000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13953-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642139529","9783642139536"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13953-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}