{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:08:27Z","timestamp":1760202507696},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"4-5","license":[{"start":{"date-parts":[[2005,3,1]],"date-time":"2005-03-01T00:00:00Z","timestamp":1109635200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2005,3]]},"DOI":"10.1007\/s00236-004-0151-1","type":"journal-article","created":{"date-parts":[[2005,2,15]],"date-time":"2005-02-15T16:22:34Z","timestamp":1108484554000},"page":"181-220","source":"Crossref","is-referenced-by-count":9,"title":["Type-based hot swapping of running modules"],"prefix":"10.1007","volume":"41","author":[{"given":"Dominic","family":"Duggan","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Abadi, M., Cardeli, L., Pierce, B., Remy, D. (1992) Dynamic typing in polymorphic languages. In: Lee, P. (ed.) Proceedings of the ACM SIGPLAN Workshop on ML and its Applications. San Francisco, California, June 1992. Carnegie-Mellon University Technical Report CMU-CS-93-105"},{"key":"CR2","unstructured":"Abadi, M., Cardelli, L. (1994) A theory of objects. Springer, Berlin Heidelberg New York"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Pierce, B., Plotkin, G. (1991) Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems 13(2): 237-268","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Agrawal, R., Buroff, S., Gehani, N.H., Shasha, D. (1991) Object versioning in Ode. In: Proceedings of the IEEE 7th International Conference on Data Engineering. , Kobe, Japan, pp. 446-455","DOI":"10.1109\/ICDE.1991.131493"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Andersson, J. (2000) A deployment system for pervasive computing. In: International Conference on System Maintenance (ICSM)","DOI":"10.1109\/ICSM.2000.883058"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Beech, D., Mahbod, B. (1988) Generalized version control in an object oriented database. In: Proceedings of the 4th IEEE Conference on Data Engineering, pp. 14-22","DOI":"10.1109\/ICDE.1988.105441"},{"key":"CR7","unstructured":"Bloom, T. (1983) Dynamic module replacement in a distributed programming system. PhD thesis, MIT"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1049\/sej.1993.0014","volume":"8","author":"Bloom","year":"1993","unstructured":"Bloom, T., Day, M. (1993) Reconfiguration and module replacement in Argus: Theory and practice. Software Engineering Journal 8(2): 102-108","journal-title":"Software Engineering Journal"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Liskov, B., Shrira, L., Moh, C.-H., Richman, S. (2003) Lazy modular upgrades in persistent object stores. In: Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications. ACM Press","DOI":"10.1145\/949305.949341"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Bracha, G., Odersky, M., Stoutamire, D., Wadler, P. (1998) Making the future safe for the past: Adding genericity to the Java programming language. In: Chambers, C. (ed.) Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications. ACM Press, Vancouver, British Columbia, pp. 183-200","DOI":"10.1145\/286936.286957"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1016\/0890-5401(91)90055-7","volume":"93","author":"Breazu-Tannen","year":"1991","unstructured":"Breazu-Tannen, V., Coquand, T., Gunter, C., Scedrov, A. (1991) Inheritance as implicit coercion. Information and Computation 93(1): 172-221","journal-title":"Information and Computation"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S0956796800001039","volume":"4","author":"Bruce","year":"1994","unstructured":"Bruce, K. (1994) A paradigmatic object-oriented programming language: Design, static typing and semantics. Journal of Functional Programming 4: 127-206","journal-title":"Journal of Functional Programming"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Cardelli, L. (1997) Program fragments, linking and modularization. In: Proceedings of ACM Symposium on Principles of Programming Languages. ACM Press, pp. 266-277","DOI":"10.1145\/263699.263735"},{"key":"CR14","unstructured":"Cardelli, L., Abadi, M. (1996) On subtyping and matching. ACM Transactions on Programming Languages and Systems, 8(4): 401-423"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Cartwright, R., Steele, G. (1998) Compatible genericity with run-time types for the Java programming language. In: Chambers, C. (ed.) Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications. ACM Press, Vancouver, British Columbia, pp. 201-215","DOI":"10.1145\/286936.286958"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Cook, W. (1989) A proposal for making eiffel type-safe. In: European Conference on Object-Oriented Programming, pp. 57-70","DOI":"10.1093\/comjnl\/32.4.305"},{"key":"CR17","unstructured":"Cook, W., Hill, W., Canning, P. (1994) Inheritance is not subtyping. In: Gunter, C.A., Mitchell, J.C. (eds.) Theoretical aspects of object-oriented programming. The MIT Press"},{"key":"CR18","unstructured":"Microsoft Corporation (1996) DCOM technical overview. Technical report, Microsoft Corporation"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Cowan, C., Autrey, T., Krasic, C., Pu, C., Walpole, J. (1996) Fast concurrent dynamic linking for an adaptive operating system. In: International Conference on Configurable Distributed Systems (ICCDS?96), Annapolis, MD","DOI":"10.1109\/CDS.1996.509352"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Crary, K., Hicks, M., Weirich, S. (2000) Safe and flexible dynamic linking of native code. In: Workshop on Types in Compilation, Lecture Notes in Computer Science. Springer, Montreal, Quebec, Canada","DOI":"10.1007\/3-540-45332-6_6"},{"key":"CR21","unstructured":"Dmitriev, M. (2002) Hotswap technology application for advanced profiling. In: First Workshop on Unanticipated Software Evolution (USE), Malaga, Spain"},{"key":"CR22","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/314602.314604","volume":"21","author":"Duggan","year":"1999","unstructured":"Duggan, D. (1999) Dynamic typing for distributed programming in polymorphic languages. ACM Transactions on Programming Languages and Systems 21(1): 11-45","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Duggan, D. (2000) Sharing in typed module assembly language. In: Workshop on Types in Compilation, Lecture Notes in Computer Science, Springer, Montreal, Quebec, Canada","DOI":"10.1007\/3-540-45332-6_4"},{"key":"CR24","unstructured":"Duggan, D. (1999) Type-safe dynamic linking with recursive DLLs and shared libraries. ACM Transactions on Programming Languages and Systems, November 2002"},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"Duggan, D., Sourelis, C. (1996) Mixin modules. In: Proceedings of ACM International Conference on Functional Programming, pp. 262-273","DOI":"10.1145\/232627.232654"},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Evans, H., Dickman, P. (1999) Zones, contracts and absorbing change: An approach to software evolution. In: Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications. ACM Press, Denver, CO, pp. 415-434","DOI":"10.1145\/320384.320430"},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"Flatt, M., Felleisen, M. (1998) Units: Cool modules for HOT languages. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation","DOI":"10.1145\/277650.277730"},{"key":"CR28","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1109\/2.573670","volume":"18","author":"Franz","year":"1997","unstructured":"Franz, M. (1997) Dynamic linking of software components. IEEE Computer 18(9162): 74-81","journal-title":"IEEE Computer"},{"key":"CR29","unstructured":"Gilmore, S., Kirli, D., Walton, C. (1997) Dynamic ML without dynamic types. Technical report, Department of Computer Science, University of Edinburgh"},{"key":"CR30","doi-asserted-by":"crossref","unstructured":"Glew, N. (1999) Type dispatch for named hierarchical types. In: Proceedings of ACM International Conference on Functional Programming. ACM Press, Paris, France","DOI":"10.1145\/317636.317797"},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"Glew, N., Morrisett, G. (1999) Type-safe linking and modular assembly languages. In: Proceedings of ACM Symposium on Principles of Programming Languages. ACM Press, San Antonio, Texas","DOI":"10.1145\/292540.292563"},{"key":"CR32","unstructured":"Hamilton, G. (1997) JavaBeans API Specification v1.01. Technical report, Sun Microsystems"},{"key":"CR33","doi-asserted-by":"crossref","unstructured":"Harper, R., Lillibridge, M. (1994) A type-theoretic approach to higher-order modules with sharing. In: Proceedings of ACM Symposium on Principles of Programming Languages. ACM Press, Portland, Oregon, pp. 123-137","DOI":"10.1145\/174675.176927"},{"key":"CR34","doi-asserted-by":"crossref","unstructured":"Harper, R., Mitchell, J., Moggi, E. (1990) Higher-order modules and the phase distinction. In: Hudak, P. (ed.) Proceedings of ACM Symposium on Principles of Programming Languages. Association for Computing Machinery, pp. 341-354","DOI":"10.1145\/96709.96744"},{"key":"CR35","doi-asserted-by":"crossref","unstructured":"Harper, R., Morrisett, G. (1995) Compiling polymorphism using intensional type analysis. In: Lee, P. (ed.) Proceedings of ACM Symposium on Principles of Programming Languages. ACM Press, San Francisco, California","DOI":"10.1145\/199448.199475"},{"key":"CR36","doi-asserted-by":"crossref","unstructured":"Hicks, M., Moore, J., Nettles, S. (2001) Dynamic software updating. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation","DOI":"10.1145\/378795.378798"},{"key":"CR37","unstructured":"Hicks, M., Weirich, S. (2000) A calculus for dynamic loading. Technical Report MS-CIS-00-07, University of Pennsylvania"},{"key":"CR38","unstructured":"Hjalmtysson, G., Gray, R. (1998) Dynamic C++ classes: A lightweight mechanism to update code in a running program. In: USENIX Technical Conference"},{"key":"CR39","doi-asserted-by":"crossref","unstructured":"Intermetrics, Cambridge, Mass. (1995) Ada-95 Reference Manual. International standard ISO\/IEC 8652:1995(E)","DOI":"10.21236\/ADA293867"},{"key":"CR40","doi-asserted-by":"crossref","unstructured":"Kim, W., Bertino, E., Garza, J. (1989) Composite objects revisited. In Clifford, J., Lindsay, B.G., Maier, D. (eds.) Proc. of the ACM SIGMOD Int. Conf. on Management of Data, SIGMOD?89. Portland, Oregon, pp. 337-347","DOI":"10.1145\/67544.66958"},{"key":"CR41","unstructured":"Klahold, P., Schlageter, G., Wilkes, W. (1986) A general model for version management in databases. In: Proceedings of the 12th VLDB Conference. Kyoto, Japan, pp. 319-327"},{"key":"CR42","doi-asserted-by":"crossref","unstructured":"League, C., Shao, Z., Trifonov, V. (1999) Representing java classes in a typed intermediate language. In: Proceedings of ACM International Conference on Functional Programming, ACM Press, Paris, France","DOI":"10.21236\/ADA436495"},{"key":"CR43","doi-asserted-by":"crossref","unstructured":"Leroy, X. (1992) Unboxed objects and polymorphic typing. In: Proceedings of ACM Symposium on Principles of Programming Languages. ACM Press, pp. 177-188","DOI":"10.1145\/143165.143205"},{"key":"CR44","doi-asserted-by":"crossref","unstructured":"Leroy, X. (1994) Manifest types, modules, and separate compilation. In: Proceedings of ACM Symposium on Principles of Programming Languages. acmp, Portland, Oregon, pp. 109-122","DOI":"10.1145\/174675.176926"},{"key":"CR45","doi-asserted-by":"crossref","unstructured":"Leroy, X. (1995) Applicative functors and fully transparent higher-order modules. In: Proceedings of ACM Symposium on Principles of Programming Languages. ACM Press, San Francisco, California, pp. 154-163","DOI":"10.1145\/199448.199476"},{"key":"CR46","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1017\/S0956796800000848","volume":"3","author":"Leroy","year":"1993","unstructured":"Leroy, X., Mauny, M. (1993) Dynamics in ML. Journal of Functional Programming 3(4): 431-463","journal-title":"Journal of Functional Programming"},{"key":"CR47","doi-asserted-by":"crossref","unstructured":"Liang, S., Bracha, G. (1998) Dynamic class loading in the Java virtual machine. In: Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications. ACM Press","DOI":"10.1145\/286936.286945"},{"key":"CR48","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1145\/42392.42399","volume":"31","author":"Liskov","year":"1988","unstructured":"Liskov, B. (1988) Distributed programming in Argus. Communications of the ACM 31(3): 300-312","journal-title":"Communications of the ACM"},{"key":"CR49","doi-asserted-by":"crossref","unstructured":"Malabarba, S., Pandey, R., Gragg, J., Barr, E., Barnes, J.F. (2000) Runtime support for type-safe dynamic java classes. In; European Conference on Object-Oriented Programming","DOI":"10.21236\/ADA474895"},{"key":"CR50","unstructured":"Milner, R., Tofte, M. (1991) Commentary on the Standard ML Definition. The MIT Press"},{"key":"CR51","unstructured":"Milner, R., Tofte, M., Harper, R. (1990) The Definition of Standard ML. The MIT Press"},{"key":"CR52","doi-asserted-by":"crossref","unstructured":"Milner, R., Tofte, M., Harper, R., MacQueen, D. (1997) The Revised Definition of Standard ML. The MIT Press","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"CR53","first-page":"528","volume":"21","author":"Morrisett","year":"1998","unstructured":"Morrisett, G., Walker, D., Crary, K., Glew, N. (1998) From System F to typed assembly language. ACM Transactions on Programming Languages and Systems 21(3): 528-569","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"CR54","unstructured":"Morrisett, J.G. (1995) Compiling with types. PhD thesis, Carnegie-Mellon University"},{"key":"CR55","doi-asserted-by":"crossref","unstructured":"Sewell, P. (2001) Modules, abstract types and distributed versioning. In: Proceedings of ACM Symposium on Principles of Programming Languages. ACM Press, London, England","DOI":"10.1145\/360204.360225"},{"key":"CR56","doi-asserted-by":"crossref","unstructured":"Shao, Z. (1997) Flexible representation analysis. In: Proceedings of ACM International Conference on Functional Programming, ACM Press, pp. 85-98","DOI":"10.1145\/258948.258958"},{"key":"CR57","doi-asserted-by":"crossref","unstructured":"Shao, Z. (1999) Transparent modules with fully syntactic signatures. In: Proceedings of ACM International Conference on Functional Programming. Paris, France","DOI":"10.21236\/ADA436465"},{"key":"CR58","doi-asserted-by":"crossref","unstructured":"Shields, M., Sheard, T., Peyton-Jones, S. (1998) Dynamic typing as staged type inference. In: Proceedings of ACM Symposium on Principles of Programming Languages. ACM Press, San Diego, California, pp. 289-302","DOI":"10.1145\/268946.268970"},{"key":"CR59","unstructured":"Siegel, J., Frantz, D., Mirsky, H., Hudli, R., deJong, P., Thomas, A., Coles, W., Baker, S., Balick. M. (1996) CORBA Fundamentals and Programming. John Wiley and Sons"},{"key":"CR60","unstructured":"Soules, C.A.N., Appavoo, J., Hui, K., Wisniewski, R.W., Da Silva, D., Ganger, G.R., Krieger, O., Stumm, M., Auslander, M., Ostrowski, M., Rosenburg, B., Xenidis, J. (2003) System support for online reconfiguration. In: Proceedings of Usenix Technical Conference, pp. 141-154"},{"key":"CR61","doi-asserted-by":"crossref","unstructured":"Stone C., Harper, R. (2000) Decidable type equivalence with singleton kinds. In: Reps, T. (ed.) Proceedings of ACM Symposium on Principles of Programming Languages. ACM Press, Boston, MA","DOI":"10.1145\/325694.325724"},{"key":"CR62","doi-asserted-by":"crossref","unstructured":"Thatt\u00e9, S. (1994) Automated synthesis of interface adapters for reusable classes. In: Proceedings of ACM Symposium on Principles of Programming Languages. ACM Press, pp. 174-187","DOI":"10.1145\/174675.177850"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-004-0151-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-004-0151-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-004-0151-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T19:44:09Z","timestamp":1586115849000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-004-0151-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3]]},"references-count":62,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2005,3]]}},"alternative-id":["151"],"URL":"https:\/\/doi.org\/10.1007\/s00236-004-0151-1","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,3]]}}}