{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:45:34Z","timestamp":1742928334382,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642030123"},{"type":"electronic","value":"9783642030130"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03013-0_12","type":"book-chapter","created":{"date-parts":[[2009,7,30]],"date-time":"2009-07-30T10:30:01Z","timestamp":1248949801000},"page":"244-268","source":"Crossref","is-referenced-by-count":13,"title":["Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Lagorio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Servetto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"12_CR1","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1145\/937563.937567","volume":"25","author":"D. Ancona","year":"2003","unstructured":"Ancona, D., Lagorio, G., Zucca, E.: Jam\u2013designing a Java extension with mixins. ACM Transactions on Programming Languages and Systems\u00a025(5), 641\u2013712 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"D. Ancona","year":"1997","unstructured":"Ancona, D., Zucca, E.: Overriding operators in a mixin-based framework. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol.\u00a01292. Springer, Heidelberg (1997)"},{"issue":"2","key":"12_CR3","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1017\/S0956796801004257","volume":"12","author":"D. Ancona","year":"2002","unstructured":"Ancona, D., Zucca, E.: A calculus of module systems. Journ. of Functional Programming\u00a012(2), 91\u2013132 (2002)","journal-title":"Journ. of Functional Programming"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-71836-9_4","volume-title":"Advances in Smalltalk","author":"A. Bergel","year":"2007","unstructured":"Bergel, A., Ducasse, S., Nierstrasz, O., Wuyts, R.: Stateful traits. In: De Meuter, W. (ed.) ISC 2006. LNCS, vol.\u00a04406, pp. 66\u201390. Springer, Heidelberg (2007)"},{"issue":"2-3","key":"12_CR5","first-page":"83","volume":"34","author":"A. Bergel","year":"2008","unstructured":"Bergel, A., Ducasse, S., Nierstrasz, O., Wuyts, R.: Stateful traits and their formalization. Comput. Lang. Syst. Struct.\u00a034(2-3), 83\u2013108 (2008)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"12_CR6","unstructured":"Bono, V., Damiani, F., Giachino, E.: Separating type, behavior, and state to achieve very fine-grained reuse. In: 9th Intl. Workshop on Formal Techniques for Java-like Programs (2007)"},{"key":"12_CR7","volume-title":"TCS 2008 - IFIP Int. Conf. on Theoretical Computer Science","author":"V. Bono","year":"2008","unstructured":"Bono, V., Damiani, F., Giachino, E.: On traits and types in a Java-like setting. In: TCS 2008 - IFIP Int. Conf. on Theoretical Computer Science. Springer, Heidelberg (2008)"},{"key":"12_CR8","unstructured":"Bracha, G.: The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance. PhD thesis, Department of Comp. Sci., Univ. of Utah (1992)"},{"key":"12_CR9","volume-title":"Intl. Conf. on Functional Programming 1996","author":"D. Duggan","year":"1996","unstructured":"Duggan, D., Sourelis, C.: Mixin modules. In: Intl. Conf. on Functional Programming 1996. ACM Press, New York (1996)"},{"key":"12_CR10","unstructured":"Fisher, K., Reppy, J.: A typed calculus of traits. In: FOOL 2004 - Intl. Workshop on Foundations of Object Oriented Languages (2004)"},{"key":"12_CR11","volume-title":"ACM Symp. on Principles of Programming Languages 1998","author":"M. Flatt","year":"1998","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: ACM Symp. on Principles of Programming Languages 1998. ACM Press, New York (1998)"},{"key":"12_CR12","series-title":"Addison-Wesley Professional Computing Series","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R.E., Vlissides, J.M.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley, Reading (1995)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-45927-8_2","volume-title":"Programming Languages and Systems","author":"T. Hirschowitz","year":"2002","unstructured":"Hirschowitz, T., Leroy, X.: Mixin modules in a call-by-value setting. In: Le M\u00e9tayer, D. (ed.) ESOP 2002. LNCS, vol.\u00a02305, pp. 6\u201320. Springer, Heidelberg (2002)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-24725-8_6","volume-title":"Programming Languages and Systems","author":"T. Hirschowitz","year":"2004","unstructured":"Hirschowitz, T., Leroy, X., Wells, J.B.: Call-by-value mixin modules. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 64\u201378. Springer, Heidelberg (2004)"},{"issue":"3","key":"12_CR15","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":"12_CR16","doi-asserted-by":"crossref","unstructured":"Lagorio, G., Servetto, M., Zucca, E.: Featherweight Jigsaw - a minimal core calculus for modular composition of classes. Technical report, Dipartimento di Informatica e Scienze dell\u2019Informazione, Universit\u00e0 di Genova (December 2008) (Full version)","DOI":"10.1007\/978-3-642-03013-0_12"},{"key":"12_CR17","unstructured":"Lagorio, G., Servetto, M., Zucca, E.: Flattening versus direct semantics for Featherweight Jigsaw. In: FOOL 2009 - Intl. Workshop on Foundations of Object Oriented Languages (2009)"},{"key":"12_CR18","volume-title":"Automated Software Engineering (ASE 2007)","author":"G.T. Leavens","year":"2007","unstructured":"Leavens, G.T.: Tutorial on JML, the Java modeling language. In: Automated Software Engineering (ASE 2007). ACM Press, New York (2007)"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Liquori, L., Spiwack, A.: FeatherTrait: A modest extension of Featherweight Java. ACM Transactions on Programming Languages and Systems\u00a030(2) (2008)","DOI":"10.1145\/1330017.1330022"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"N. Sch\u00e4rli","year":"2003","unstructured":"Sch\u00e4rli, N., Ducasse, S., Nierstrasz, O., Black, A.P.: Traits: Composable units of behaviour. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743. Springer, Heidelberg (2003)"},{"key":"12_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/3-540-46425-5_27","volume-title":"Programming Languages and Systems","author":"J.B. Wells","year":"2000","unstructured":"Wells, J.B., Vestergaard, R.: Confluent equational reasoning for linking with first-class primitive modules. In: Smolka, G. (ed.) ESOP 2000. LNCS, vol.\u00a01782, p. 412. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2009 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03013-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T15:52:12Z","timestamp":1558453932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03013-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642030123","9783642030130"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03013-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}