{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:52:49Z","timestamp":1762458769658},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642050886"},{"type":"electronic","value":"9783642050893"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05089-3_38","type":"book-chapter","created":{"date-parts":[[2009,11,3]],"date-time":"2009-11-03T22:31:40Z","timestamp":1257287500000},"page":"596-611","source":"Crossref","is-referenced-by-count":13,"title":["Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects"],"prefix":"10.1007","author":[{"given":"Einar Broch","family":"Johnsen","sequence":"first","affiliation":[]},{"given":"Marcel","family":"Kyas","sequence":"additional","affiliation":[]},{"given":"Ingrid Chieh","family":"Yu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1007\/11785477_26","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"S. Ajmani","year":"2006","unstructured":"Ajmani, S., Liskov, B., Shrira, L.: Modular software upgrades for distributed systems. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 452\u2013476. Springer, Heidelberg (2006)"},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"Amtoft, T., Nielson, F., Nielson, H.R.: Type and Effect Systems: Behaviours for Concurrency. Imperial College Press (1999)","DOI":"10.1142\/p132"},{"key":"38_CR3","unstructured":"Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf (2007)"},{"key":"38_CR4","unstructured":"Bierman, G., Hicks, M., Sewell, P., Stoyle, G.: Formalizing dynamic software updating. In: Proc. 2nd Intl. Workshop on Unanticipated Software Evolution (2003)"},{"key":"38_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-540-70592-5_11","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"G. Bierman","year":"2008","unstructured":"Bierman, G., Parkinson, M., Noble, J.: UpgradeJ: Incremental typechecking for class upgrades. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 235\u2013259. Springer, Heidelberg (2008)"},{"key":"38_CR6","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/949305.949341","volume-title":"Proc. OOPSLA 2003","author":"C. Boyapati","year":"2003","unstructured":"Boyapati, C., Liskov, B., Shrira, L., Moh, C.-H., Richman, S.: Lazy modular upgrades in persistent object stores. In: Proc. OOPSLA 2003, pp. 403\u2013417. ACM Press, New York (2003)"},{"key":"38_CR7","volume-title":"A Theory of Distributed Object","author":"D. Caromel","year":"2005","unstructured":"Caromel, D., Henrio, L.: A Theory of Distributed Object. Springer, Heidelberg (2005)"},{"key":"38_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-540-71316-6_22","volume-title":"Programming Languages and Systems","author":"F.S. Boer de","year":"2007","unstructured":"de Boer, F.S., Clarke, D., Johnsen, E.B.: A complete guide to the future. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 316\u2013330. Springer, Heidelberg (2007)"},{"key":"38_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-68237-0_6","volume-title":"FM 2008: Formal Methods","author":"J. Dovland","year":"2008","unstructured":"Dovland, J., Johnsen, E.B., Owe, O., Steffen, M.: Lazy behavioral subtyping. In: Cuellar, J., Maibaum, T., Sere, K. (eds.) FM 2008. LNCS, vol.\u00a05014, pp. 52\u201367. Springer, Heidelberg (2008)"},{"issue":"2","key":"38_CR10","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/514952.514955","volume":"24","author":"S. Drossopoulou","year":"2002","unstructured":"Drossopoulou, S., Damiani, F., Dezani-Ciancaglini, M., Giannini, P.: More dynamic object re-classification: FickleII. ACM TOPLAS\u00a024(2), 153\u2013191 (2002)","journal-title":"ACM TOPLAS"},{"key":"38_CR11","series-title":"ACM SIGPLAN notices","first-page":"62","volume-title":"Proc. 6th Intl. Conf. on Functional Programming (ICFP 2001)","author":"D. Duggan","year":"2001","unstructured":"Duggan, D.: Type-Based hot swapping of running modules. In: Norris, C., Fenwick, J.J.B. (eds.) Proc. 6th Intl. Conf. on Functional Programming (ICFP 2001). ACM SIGPLAN notices, vol.\u00a036(10), pp. 62\u201373. ACM Press, New York (2001)"},{"issue":"2","key":"38_CR12","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0304-3975(92)90014-7","volume":"103","author":"M. Felleisen","year":"1992","unstructured":"Felleisen, M., Hieb, R.: The revised report on the syntactic theories of sequential control and state. Theor. Comp. Sci.\u00a0103(2), 235\u2013271 (1992)","journal-title":"Theor. Comp. Sci."},{"issue":"2","key":"38_CR13","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1109\/32.485222","volume":"22","author":"D. Gupta","year":"1996","unstructured":"Gupta, D., Jalote, P., Barua, G.: A formal framework for on-line software version change. IEEE Trans. Software Eng.\u00a022(2), 120\u2013131 (1996)","journal-title":"IEEE Trans. Software Eng."},{"key":"38_CR14","unstructured":"Hj\u00e1lmt\u00fdsson, G., Gray, R.S.: Dynamic C++ classes: A lightweight mechanism to update code in a running program. In: Proc. USENIX Tech. Conf. (May 1998)"},{"issue":"3","key":"38_CR15","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM TOPLAS\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"key":"38_CR16","doi-asserted-by":"crossref","unstructured":"Johnsen, E.B., Kyas, M., Yu, I.C.: Dynamic classes: Modular asynchronous evolution of distributed concurrent objects. Research Report 383, Dept. of Informatics, Univ. of Oslo, Norway (May 2009)","DOI":"10.1007\/978-3-642-05089-3_38"},{"issue":"1","key":"38_CR17","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s10270-006-0011-2","volume":"6","author":"E.B. Johnsen","year":"2007","unstructured":"Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. Software and Systems Modeling\u00a06(1), 35\u201358 (2007)","journal-title":"Software and Systems Modeling"},{"key":"38_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-45102-1_17","volume-title":"ECOOP 2000 - Object-Oriented Programming","author":"S. Malabarba","year":"2000","unstructured":"Malabarba, S., Pandey, R., Gragg, J., Barr, E., Barnes, J.F.: Runtime support for type-safe dynamic Java classes. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol.\u00a01850, pp. 337\u2013361. Springer, Heidelberg (2000)"},{"key":"38_CR19","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1109\/ICSM.2002.1167829","volume-title":"Proc. Intl. Conf. on Software Maintenance (ICSM 2002)","author":"A. Orso","year":"2002","unstructured":"Orso, A., Rao, A., Harrold, M.J.: A technique for dynamic updating of Java software. In: Proc. Intl. Conf. on Software Maintenance (ICSM 2002), pp. 649\u2013658. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"38_CR20","unstructured":"Soules, C.A.N., et al.: System support for online reconfiguration. In: Proc. USENIX Tech. Conf., pp. 141\u2013154 (2003)"},{"issue":"4","key":"38_CR21","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/1255450.1255455","volume":"29","author":"G. Stoyle","year":"2007","unstructured":"Stoyle, G., Hicks, M., Bierman, G., Sewell, P., Neamtiu, I.: Mutatis Mutandis: Safe and predictable dynamic software updating. ACM TOPLAS\u00a029(4), 22 (2007)","journal-title":"ACM TOPLAS"},{"key":"38_CR22","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1145\/1094811.1094845","volume-title":"Proc. OOPSLA 2005","author":"A. Welc","year":"2005","unstructured":"Welc, A., Jagannathan, S., Hosking, A.: Safe futures for Java. In: Proc. OOPSLA 2005, pp. 439\u2013453. ACM Press, New York (2005)"},{"key":"38_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/11768869_16","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"I.C. Yu","year":"2006","unstructured":"Yu, I.C., Johnsen, E.B., Owe, O.: Type-safe runtime class upgrades in Creol. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 202\u2013217. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","FM 2009: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05089-3_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:47:37Z","timestamp":1606186057000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05089-3_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642050886","9783642050893"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05089-3_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}