{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:21:56Z","timestamp":1725556916044},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642134135"},{"type":"electronic","value":"9783642134142"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13414-2_4","type":"book-chapter","created":{"date-parts":[[2010,6,7]],"date-time":"2010-06-07T06:43:20Z","timestamp":1275893000000},"page":"46-60","source":"Crossref","is-referenced-by-count":3,"title":["A Calculus for Boxes and Traits in a Java-Like Setting"],"prefix":"10.1007","author":[{"given":"Lorenzo","family":"Bettini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"De Luca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kathrin","family":"Geilmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Sch\u00e4fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","first-page":"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","doi-asserted-by":"publisher","first-page":"2096","DOI":"10.1145\/1774088.1774530","volume-title":"SAC","author":"L. Bettini","year":"2010","unstructured":"Bettini, L., Damiani, F., Schaefer, I.: Implementing Software Product Lines using Traits. In: SAC, pp. 2096\u20132102. ACM, New York (2010)"},{"key":"4_CR3","unstructured":"Bono, V., Damiani, F., Giachino, E.: Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse. In: FTfJP (2007), http:\/\/www.cs.ru.nl\/ftfjp\/"},{"key":"4_CR4","series-title":"IFIP","first-page":"367","volume-title":"TCS (Track B)","author":"V. Bono","year":"2008","unstructured":"Bono, V., Damiani, F., Giachino, E.: On Traits and Types in a Java-like setting. In: TCS (Track B). IFIP, vol.\u00a0273, pp. 367\u2013382. Springer, Heidelberg (2008)"},{"key":"4_CR5","unstructured":"Boyapati, C.: SafeJava: A Unified Type System for Safe Programming. PhD thesis, Massachusetts Institute of Technology (February 2004)"},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/604131.604156","volume-title":"POPL","author":"C. Boyapati","year":"2003","unstructured":"Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: POPL, pp. 213\u2013223. ACM Press, New York (2003)"},{"key":"4_CR7","unstructured":"Clarke, D.: Object Ownership and Containment. PhD thesis, Univ. New South Wales (2001)"},{"key":"4_CR8","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/286936.286947","volume-title":"OOPSLA","author":"D. Clarke","year":"1998","unstructured":"Clarke, D., Potter, J., Noble, J.: Ownership types for flexible alias protection. In: OOPSLA, pp. 48\u201364. ACM Press, New York (1998)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-92188-2_4","volume-title":"Formal Methods for Components and Objects","author":"D. Cunningham","year":"2008","unstructured":"Cunningham, D., Dietl, W., Drossopoulou, S., Francalanza, A., M\u00fcller, P., Summers, A.J.: Universe types for topology and encapsulation. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol.\u00a05382, pp. 72\u2013112. Springer, Heidelberg (2008)"},{"key":"4_CR10","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":"2","key":"4_CR11","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1145\/1119479.1119483","volume":"28","author":"S. Ducasse","year":"2006","unstructured":"Ducasse, S., Nierstrasz, O., Sch\u00e4rli, N., Wuyts, R., Black, A.P.: Traits: A mechanism for fine-grained reuse. ACM TOPLAS\u00a028(2), 331\u2013388 (2006)","journal-title":"ACM TOPLAS"},{"issue":"3","key":"4_CR12","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. ACM TOPLAS\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"key":"4_CR13","unstructured":"Lagorio, G., Servetto, M., Zucca, E.: Flattening versus direct semantics for Featherweight Jigsaw. In: FOOL (2009), http:\/\/www.cs.hmc.edu\/~stone\/FOOL\/"},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1330017.1330022","volume":"30","author":"L. Liquori","year":"2008","unstructured":"Liquori, L., Spiwack, A.: FeatherTrait: A Modest Extension of Featherweight Java. ACM TOPLAS\u00a030(2), 1\u201332 (2008)","journal-title":"ACM TOPLAS"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/11785477_6","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"Y. Lu","year":"2006","unstructured":"Lu, Y., Potter, J.: On ownership and accessibility. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 99\u2013123. Springer, Heidelberg (2006)"},{"key":"4_CR16","unstructured":"M\u00fcller, P., Poetzsch-Heffter, A.: A type system for controlling representation exposure in Java. In: FTfJP (2000), http:\/\/www.cs.ru.nl\/ftfjp\/"},{"issue":"4","key":"4_CR17","doi-asserted-by":"crossref","first-page":"129","DOI":"10.5381\/jot.2006.5.4.a4","volume":"5","author":"O. Nierstrasz","year":"2006","unstructured":"Nierstrasz, O., Ducasse, S., Sch\u00e4rli, N.: Flattening traits. JOT\u00a05(4), 129\u2013148 (2006)","journal-title":"JOT"},{"key":"4_CR18","unstructured":"Poetzsch-Heffter, A., Gaillourdet, J.-M., Sch\u00e4fer, J.: Towards a fully abstract semantics for object-oriented program components (July 2008), http:\/\/softech.cs.uni-kl.de\/pub?id=129"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-540-71322-7_6","volume-title":"Program Analysis and Compilation, Theory and Practice","author":"A. Poetzsch-Heffter","year":"2007","unstructured":"Poetzsch-Heffter, A., Geilmann, K., Sch\u00e4fer, J.: Infering ownership types for encapsulated object-oriented program components. In: Reps, T., Sagiv, M., Bauer, J. (eds.) Wilhelm Festschrift. LNCS, vol.\u00a04444, pp. 120\u2013144. Springer, Heidelberg (2007)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/11804192_15","volume-title":"Formal Methods for Components and Objects","author":"A. Poetzsch-Heffter","year":"2006","unstructured":"Poetzsch-Heffter, A., Sch\u00e4fer, J.: Modular specification of encapuslated object-oriented components. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 313\u2013341. Springer, Heidelberg (2006)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-540-72952-5_10","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"A. Poetzsch-Heffter","year":"2007","unstructured":"Poetzsch-Heffter, A., Sch\u00e4fer, J.: A representation-independent behavioral semantics for object-oriented components. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 157\u2013173. Springer, Heidelberg (2007)"},{"key":"4_CR22","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 Press, New York (2006)"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-540-73589-2_18","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"J. Reppy","year":"2007","unstructured":"Reppy, J., Turon, A.: Metaprogramming with traits. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 373\u2013398. Springer, Heidelberg (2007)"},{"issue":"6","key":"4_CR24","doi-asserted-by":"crossref","first-page":"71","DOI":"10.5381\/jot.2007.6.5.a3","volume":"5","author":"J. Sch\u00e4fer","year":"2007","unstructured":"Sch\u00e4fer, J., Poetzsch-Heffter, A.: A parameterized type system for simple loose ownership domains. Journal of Object Technology (JOT)\u00a05(6), 71\u2013100 (2007)","journal-title":"Journal of Object Technology (JOT)"},{"key":"4_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1007\/11531142_20","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"C. Smith","year":"2005","unstructured":"Smith, C., Drossopoulou, S.: Chai: Traits for Java-like languages. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 453\u2013478. Springer, Heidelberg (2005)"},{"key":"4_CR26","volume-title":"Component Software \u2013 Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C., Gruntz, D., Murer, S.: Component Software \u2013 Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Reading (2002)","edition":"2"},{"issue":"3","key":"4_CR27","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF01806107","volume":"4","author":"D. Ungar","year":"1991","unstructured":"Ungar, D., Chambers, C., Chang, B.-W., H\u00f6lzle, U.: Organizing Programs Without Classes. Lisp and Symbolic Computation\u00a04(3), 223\u2013242 (1991)","journal-title":"Lisp and Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13414-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T08:59:28Z","timestamp":1685609968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13414-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642134135","9783642134142"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13414-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}