{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:23:32Z","timestamp":1725470612759},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540409274"},{"type":"electronic","value":"9783540409281"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11860990_9","type":"book-chapter","created":{"date-parts":[[2006,9,16]],"date-time":"2006-09-16T03:05:22Z","timestamp":1158375922000},"page":"116-135","source":"Crossref","is-referenced-by-count":0,"title":["A Framework for Modular Linking in OO Languages"],"prefix":"10.1007","author":[{"given":"Sean","family":"McDirmid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilson C.","family":"Hsieh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Flatt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/3-540-47993-7_26","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"D. Ancona","year":"2002","unstructured":"Ancona, D., Lagorio, G., Zucca, E.: A Formal Framework for Java Separate Compilation. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 609\u2013636. Springer, Heidelberg (2002)"},{"key":"9_CR2","unstructured":"Ancona, D., Lagorio, G., Zucca, E.: Smart modules for Java-like languages (December 2005) (submitted for publication)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/3-540-45337-7_19","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"D. Ancona","year":"2001","unstructured":"Ancona, D., Zucca, E.: True modules for Java classes. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 354\u2013380. Springer, Heidelberg (2001)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Bracha, G., Cook, W.: Mixin-based inheritance. In: Proc. of OOPSLA, pp. 303\u2013311 (October 1990)","DOI":"10.1145\/97945.97982"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Program fragments, linking and modularization. In: Proc. of POPL, pp. 266\u2013277 (January 1997)","DOI":"10.1145\/263699.263735"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Clifton, C., Leavens, G., Chambers, C., Millstein, T.: MultiJava: Modular open classes and symmetric multiple dispatch for Java. In: Proc. of OOPSLA, pp. 130\u2013146 (October 2000)","DOI":"10.1145\/353171.353181"},{"key":"9_CR7","unstructured":"Clifton, C., Millstein, T., Leavens, G.T., Chambers, C.: MultiJava: Design rationale, compiler implementation, and applications. Technical Report 04-01b, Iowa State University, Dept. of Computer Science (December 2004) (accepted for publication, pending revision)"},{"key":"9_CR8","unstructured":"Drossopoulou, S., Eisenbach, S., Wragg, D.: A fragment calculus: Torwards a model of separate compilation, linking and binary compatibility. In: Proc. of Logic in Computer Science (July 1999)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Drossopoulou, S., Wragg, D., Eisenbach, S.: What is Java binary compatibility? In: Proc. of OOPLSA, pp. 341\u2013361 (October 1998)","DOI":"10.1145\/286936.286974"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Findler, R., Flatt, M.: Modular object-oriented programming with units and mixins. In: Proc. of ICFP, pp. 98\u2013104 (September 1998)","DOI":"10.1145\/289423.289432"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Fisher, K., Reppy, J.: The design of a class mechanism for Moby. In: Proc. of PLDI, pp. 37\u201349 (May 1999)","DOI":"10.1145\/301618.301638"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/3-540-45102-1_5","volume-title":"ECOOP 2000 - Object-Oriented Programming","author":"K. Fisher","year":"2000","unstructured":"Fisher, K., Reppy, J.: Extending Moby with Inheritance-Based Subtyping. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol.\u00a01850, pp. 83\u2013107. Springer, Heidelberg (2000)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Flatt, M., Felleisen, M.: Units: Cool modules for HOT languages. In: Proc. of PLDI, pp. 236\u2013248 (May 1998)","DOI":"10.1145\/277650.277730"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: Proc. of POPL, pp. 171\u2013183 (January 1999)","DOI":"10.1145\/268946.268961"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Glew, N., Morrisett, G.: Type-safe linking and modular assembly language. In: Proc. of POPL (January 1999)","DOI":"10.1145\/292540.292563"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. In: Proc. of OOPSLA, pp. 132\u2013146 (October 1999)","DOI":"10.1145\/320384.320395"},{"key":"9_CR17","unstructured":"Leroy, X., Doligez, D., Garrigue, J., R\u2019emy, D., Vouillon, J.: The Objective CAML system, documentation and user\u2019s manual (2000), http:\/\/caml.inria.fr\/ocaml\/htmlman\/"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Liang, S., Bracha, G.: Dynamic class loading in the Java Virtual Machine. In: Proc. of OOPSLA (October 1998)","DOI":"10.1145\/286936.286945"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"McDirmid, S., Flatt, M., Hsieh, W.C.: Jiazzi: New-age components for old-fashioned Java. In: Proc. of OOPSLA, pp. 211\u2013222 (October 2001)","DOI":"10.1145\/504282.504298"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Millstein, T., Bleckner, C., Chambers, C.: Modular typechecking for hierarchically extensible datatypes and functions. In: Proc. of ICFP (October 2002)","DOI":"10.1145\/581478.581489"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/3-540-48743-3_13","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"T. Millstein","year":"1999","unstructured":"Millstein, T., Chambers, C.: Modular Statically Typed Multimethods. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 279\u2013303. Springer, Heidelberg (1999)"},{"key":"9_CR22","unstructured":"Riecke, J.G., Stone, C.A.: Privacy via subsumption. In: Theory and Practice of Object Systems (1999)"},{"key":"9_CR23","unstructured":"Stone, C.: Extensible objects without labels. In: Proc. of FOOL (January 2002)"},{"key":"9_CR24","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. ACM Press and Addison-Wesley (1998)"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Vouillon, J.: Combining subsumption and binary methods: An object calculus with views. In: Proc. of POPL, pp. 290\u2013303 (January 2001)","DOI":"10.1145\/360204.360233"}],"container-title":["Lecture Notes in Computer Science","Modular Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11860990_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:43:51Z","timestamp":1605642231000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11860990_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540409274","9783540409281"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11860990_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}