{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:54:59Z","timestamp":1725490499980},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540742395"},{"type":"electronic","value":"9783540742401"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74240-1_10","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T11:04:18Z","timestamp":1188212658000},"page":"100-112","source":"Crossref","is-referenced-by-count":2,"title":["FJMIP: A Calculus for a Modular Object Initialization"],"prefix":"10.1007","author":[{"given":"Viviana","family":"Bono","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaros\u0142aw D. M.","family":"Ku\u015bmierek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)"},{"key":"10_CR2","unstructured":"Bono, V., Ku\u015bmierek, J.: Featherweight JavaMIP: a calculus for a modular object initialization protocol. Manuscript (2007), available at http:\/\/www.di.unito.it\/~bono\/papers\/FWJavaMIP.pdf"},{"key":"10_CR3","unstructured":"Bono, V., Ku\u015bmierek, J.: Modularizing constructors. In: Proc.\u00a0TOOLS 2007 (to appear, 2007)"},{"key":"10_CR4","volume-title":"Foundations of Object-Oriented Languages: Types and Semantics","author":"K.B. Bruce","year":"2002","unstructured":"Bruce, K.B.: Foundations of Object-Oriented Languages: Types and Semantics. MIT Press, Cambridge (2002)"},{"issue":"1","key":"10_CR5","first-page":"3","volume":"1","author":"K. Fisher","year":"1994","unstructured":"Fisher, K., Honsell, F., Mitchell, J.C.: A lambda-calculus of objects and method specialization. Nordic J. of Computing, 1(1), 3\u201337 (1994). Preliminary version appeared In: Proc. LICS 1993, pp. 26\u201338 (1993)","journal-title":"Nordic J. of Computing"},{"key":"10_CR6","first-page":"42","volume-title":"Proc. FCT 1995","author":"K. Fisher","year":"1995","unstructured":"Fisher, K., Mitchell, J.C.: A delegation-based object calculus with subtyping. In: Proc. FCT 1995, vol.\u00a0965, pp. 42\u201361. Springer, Heidelberg (1995)"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1145\/268946.268961","volume-title":"Proc. POPL 1998","author":"M. Flatt","year":"1998","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and Mixins. In: Proc. POPL 1998, pp. 171\u2013183. ACM Press, New York (1998)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. ACM SIGPLAN Transactions on Programming Languages and Systems (TOPLAS), 23(3) (May 2001)","DOI":"10.1145\/503502.503505"},{"key":"10_CR9","unstructured":"Ku\u015bmierek, J., Bono, V.: A modular object initialization protocol. Manuscript (2006), available at http:\/\/www.di.unito.it\/~bono\/papers\/JavaMIP02.pdf"},{"key":"10_CR10","unstructured":"Monteferrante, G.: javamip2java: A preprocessor for the JavaMIP language(2006), Available at http:\/\/www.di.unito.it\/~bono\/papers\/javamip\/"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74240-1_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:14:54Z","timestamp":1619518494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74240-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540742395","9783540742401"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74240-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}