{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:57:35Z","timestamp":1725569855242},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540300076"},{"type":"electronic","value":"9783540314837"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11580850_15","type":"book-chapter","created":{"date-parts":[[2005,12,6]],"date-time":"2005-12-06T05:50:36Z","timestamp":1133848236000},"page":"279-298","source":"Crossref","is-referenced-by-count":3,"title":["Mixin Modules for Dynamic Rebinding"],"prefix":"10.1007","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sonia","family":"Fagorzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Monographs in Computer Science","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. Monographs in Computer Science. Springer, Heidelberg (1996)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-540-24727-2_3","volume-title":"Foundations of Software Science and Computation Structures","author":"M. Abadi","year":"2004","unstructured":"Abadi, M., Gonthier, G., Werner, B.: Choice in dynamic linking. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 12\u201326. Springer, Heidelberg (2004)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Ancona, D., Anderson, C., Damiani, F., Drossopoulou, S., Giannini, P., Zucca, E.: A type preserving translation of Fickle into Java. Electonical Notes in Theoretical Computer Science, vol.\u00a062 (2002)","DOI":"10.1016\/S1571-0661(04)00320-2"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/978-3-540-45208-9_23","volume-title":"Theoretical Computer Science","author":"D. Ancona","year":"2003","unstructured":"Ancona, D., Fagorzi, S., Zucca, E.: A calculus for dynamic linking. In: Blundo, C., Laneve, C. (eds.) ICTCS 2003. LNCS, vol.\u00a02841, pp. 284\u2013301. Springer, Heidelberg (2003)"},{"key":"15_CR5","unstructured":"Ancona, D., Fagorzi, S., Zucca, E.: A calculus for dynamic reconfiguration with low priority linking. In: WOOD 2004: Workshop on Object-Oriented Developments. Electonical Notes in Theoretical Computer Science (2004) (to appear)"},{"key":"15_CR6","first-page":"423","volume-title":"TCS 2004 (IFIP Int. Conf. on Theoretical Computer Science)","author":"D. Ancona","year":"2004","unstructured":"Ancona, D., Fagorzi, S., Zucca, E.: A calculus with lazy module operators. In: Levy, J.-J., Mayr, E.W., Mitchell, J.C. (eds.) TCS 2004 (IFIP Int. Conf. on Theoretical Computer Science), pp. 423\u2013436. Kluwer Academic Publishers, Dordrecht (2004)"},{"issue":"2","key":"15_CR7","doi-asserted-by":"crossref","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"},{"issue":"3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1017\/S0956796897002724","volume":"7","author":"Z.M. Ariola","year":"1997","unstructured":"Ariola, Z.M., Felleisen, M.: The call-by-need lambda calculus. Journ. of Functional Programming\u00a07(3), 265\u2013301 (1997)","journal-title":"Journ. of Functional Programming"},{"key":"15_CR9","unstructured":"Bierman, G., Hicks, M., Sewell, P., Stoyle, G.: Formalizing dynamic software updating (Extended Abstract). In: USE 2003 - the Second International Workshop on Unanticipated Software Evolution (2003)"},{"key":"15_CR10","first-page":"99","volume-title":"Intl. Conf. on Functional Programming 2003","author":"G. Bierman","year":"2004","unstructured":"Bierman, G., Hicks, M., Sewell, P., Stoyle, G., Wansbrough, K.: Dynamic rebinding for marshalling and update, with destruct-time \u03bb. In: Runciman, C., Shivers, O. (eds.) Intl. Conf. on Functional Programming 2003, pp. 99\u2013110. ACM Press, New York (2004)"},{"key":"15_CR11","unstructured":"Bracha, G.: The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance. PhD thesis, Department of Comp. Sci., Univ. of Utah (1992)"},{"key":"15_CR12","first-page":"266","volume-title":"ACM Symp. on Principles of Programming Languages 1997","author":"L. Cardelli","year":"1997","unstructured":"Cardelli, L.: Program fragments, linking, and modularization. In: ACM Symp. on Principles of Programming Languages 1997, pp. 266\u2013277. ACM Press, New York (1997)"},{"key":"15_CR13","unstructured":"Cardelli, L., Leroy, X.: Abstract types and the dot notation. Technical Report\u00a056, DEC SRC (1990)"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-45332-6_3","volume-title":"TIC 2000 - Third Workshop on Types in Compilation (Selected Papers)","author":"S. Drossopoulou","year":"2001","unstructured":"Drossopoulou, S.: Towards an abstract model of Java dynamic linking and verfication. In: Harper, R. (ed.) TIC 2000 - Third Workshop on Types in Compilation (Selected Papers). LNCS, vol.\u00a02071, pp. 53\u201384. Springer, Heidelberg (2001)"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-36575-3_4","volume-title":"Programming Languages and Systems","author":"S. Drossopoulou","year":"2003","unstructured":"Drossopoulou, S., Lagorio, G., Eisenbach, S.: Flexible models for dynamic linking. In: Degano, P. (ed.) ESOP 2003. LNCS, vol.\u00a02618, pp. 38\u201353. Springer, Heidelberg (2003)"},{"key":"15_CR16","unstructured":"Fagorzi, S.: Module Calculi for Dynamic Reconfiguration. PhD thesis, Dipartimento di Informatica e Scienze dell\u2019Informazione, Universit\u00e0 di Genova (2005)"},{"key":"15_CR17","unstructured":"Fagorzi, S., Zucca, E.: A calculus for reconfiguration. In: DCM 2005 - International Workshop on Developments in Computational Models, (To appear) (July 2005)"},{"key":"15_CR18","unstructured":"Felleisen, M., Friedman, D.P.: Control operators, the SECD-machine, and the lambda-calculus. In: 3rd Working Conference on the Formal Description of Programming Concepts, Ebberup, Denmark, August 1986, pp. 193\u2013219 (1986)"},{"key":"15_CR19","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":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1007\/b98796","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"Y.D. Liu","year":"2004","unstructured":"Liu, Y.D., Smith, S.F.: Modules with interfaces for dynamic linking and communication. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 414\u2013439. Springer, Heidelberg (2004)"},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-46425-5_17","volume-title":"Programming Languages and Systems","author":"E. Machkasova","year":"2000","unstructured":"Machkasova, E., Turbak, F.A.: A calculus for link-time compilation. In: Smolka, G. (ed.) ESOP 2000. LNCS, vol.\u00a01782, pp. 260\u2013274. Springer, Heidelberg (2000)"},{"key":"15_CR22","unstructured":"Mens, T., Kniesel, G.: Workshop on foundations of unanticipated software evolution. ETAPS 2004 (2004), http:\/\/joint.org\/fuse2004\/"},{"key":"15_CR23","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, pp. 412\u2013428. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11580850_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T10:58:32Z","timestamp":1586602712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11580850_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540300076","9783540314837"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11580850_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}