{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T10:13:58Z","timestamp":1753438438161},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540330950"},{"type":"electronic","value":"9783540330967"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11693024_15","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T13:30:35Z","timestamp":1143552635000},"page":"214-229","source":"Crossref","is-referenced-by-count":4,"title":["Types for Dynamic Reconfiguration"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o","family":"Costa Seco","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Caires","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"Mart\u00edn Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically typed language. ACM Trans. on Progr. Languages and Systems\u00a013(2) (April 1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR2","volume-title":"Proc. of the European Conf. on Object-Oriented Programming","author":"J. Aldrich","year":"2002","unstructured":"Aldrich, J., Chambers, C., Notkin, D.: Architectural reasoning in archjava. In: Proc. of the European Conf. on Object-Oriented Programming. Springer-Verlag, Heidelberg (2002)"},{"issue":"2","key":"15_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. Journal of Functional Programming\u00a012(2), 91\u2013132 (2002)","journal-title":"Journal of Functional Programming"},{"key":"15_CR4","unstructured":"Bierman, G., Hicks, M., Sewell, P., Stoyle, G.: Formalizing dynamic software updating. In: Proc. of the Int. Workshop on Unanticipated Software Evolution (2003)"},{"key":"15_CR5","volume-title":"Proc. of the European Conf. on Object-Oriented Programming","author":"V. Bono","year":"1999","unstructured":"Bono, V., Patel, A., Shmatikov, V.: A core calculus of classes and mixins. In: Proc. of the European Conf. on Object-Oriented Programming. Springer-Verlag, Heidelberg (1999)"},{"key":"15_CR6","volume-title":"ACM Symp. on Principles of Programming Languages","author":"L. Cardelli","year":"1997","unstructured":"Cardelli, L.: Program fragments, linking, and modularization. In: ACM Symp. on Principles of Programming Languages. ACM Press, New York (1997)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Drossopoulou, S., Damiani, F., Dezani-Ciancaglini, M., Giannini, P.: Fickle: Dynamic object re-classification. In: Proc. of the European Conf. on Object-Oriented Programming (2001)","DOI":"10.1007\/3-540-45337-7_8"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Duggan, D.: Type-based hot swapping of running modules. In: Proc. of the Int. Conf. on Functional Programming (2001)","DOI":"10.1145\/507635.507645"},{"key":"15_CR9","unstructured":"Fagorzi, S., Zucca, E.: A calculus for reconfiguration. In: On-line Proc. of the Int.Workshop Developments in Computational Models at ICALP (2005)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Flatt, M., Felleisen, M.: Units: Cool modules for HOT languages. In: Proc. Of the ACM SIGPLAN Conf. on Programming Language Design and Implementation (1998)","DOI":"10.1145\/277650.277730"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Hirschowitz, T., Leroy, X.: Mixin modules in a call-by-value setting. In: Proc. Of the Euro. Symp. on Programming (2002)","DOI":"10.1007\/3-540-45927-8_2"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Hirschowitz, T., Leroy, X., Wells, J.B.: Call-by-value mixin modules: Reduction semantics, side effects, types. In: Proc. of the Euro. Symp. on Programming (2004)","DOI":"10.1007\/978-3-540-24725-8_6"},{"key":"15_CR13","volume-title":"Proc. of the European Conf. on Object-Oriented Programming","author":"J.C. Seco","year":"2000","unstructured":"Seco, J.C., Caires, L.: A basic model of typed components. In: Proc. of the European Conf. on Object-Oriented Programming, Cannes, France. Springer-Verlag, Heidelberg (2000)"},{"key":"15_CR14","volume-title":"Proc. of the Euro. Symp. on Programming, Edinburgh","author":"J.C. Seco","year":"2005","unstructured":"Seco, J.C., Caires, L.: Subtyping First-Class Polymorphic Components. In: Proc. of the Euro. Symp. on Programming, Edinburgh. Springer-Verlag, Heidelberg (2005)"},{"key":"15_CR15","unstructured":"Seco, J.C., Caires, L.: Types for dynamic reconfiguration. Technical Report UNL-DI-1-2006, FCT-UNL (2006)"},{"key":"15_CR16","first-page":"236","volume-title":"ACM Symp. on Principles of Programming Languages","author":"P. Sewell","year":"2001","unstructured":"Sewell, P.: Modules, abstract types, and distributed versioning. In: ACM Symp. on Principles of Programming Languages, pp. 236\u2013247. ACM Press, New York (2001)"},{"key":"15_CR17","volume-title":"Proceedings of the International Conference on Software Engineering","author":"V.C. Sreedhar","year":"2002","unstructured":"Sreedhar, V.C.: Mixin\u2019up components. In: Proceedings of the International Conference on Software Engineering. ACM Press, New York (2002)"},{"issue":"1-2","key":"15_CR18","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0304-3975(00)00053-0","volume":"248","author":"W. Taha","year":"2000","unstructured":"Taha, W., Sheard, T.: Metaml and multi-stage programming with explicit annotations. Theoretical Computer Science\u00a0248(1-2), 211\u2013242 (2000)","journal-title":"Theoretical Computer Science"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Wells, J., Vestergaard, R.: Confluent equational reasoning for linking with first-class primitive modules. In: Proc. of the Euro. Symp. on Programming (1999)","DOI":"10.1007\/3-540-46425-5_27"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11693024_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T17:16:34Z","timestamp":1555521394000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11693024_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330950","9783540330967"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11693024_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}