{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:06:50Z","timestamp":1725502010878},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540775041"},{"type":"electronic","value":"9783540775058"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-77505-8_6","type":"book-chapter","created":{"date-parts":[[2008,1,24]],"date-time":"2008-01-24T07:56:35Z","timestamp":1201161395000},"page":"60-74","source":"Crossref","is-referenced-by-count":2,"title":["A Method of Safety Analysis for Runtime Code Update"],"prefix":"10.1007","author":[{"given":"Masatomo","family":"Hashimoto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Toy, L.: Large-Scale Real-Time Program Retrofit Methodology in AT&T 5ESS Switch. In: Reliable computer systems, 3rd edn. design and evaluation, pp. 574\u2013586. A K Peters (1998)"},{"issue":"12","key":"6_CR2","first-page":"341","volume":"8","author":"D. Pescovitz","year":"2000","unstructured":"Pescovitz, D.: Monsters in a box. Wired\u00a08(12), 341\u2013347 (2000)","journal-title":"Wired"},{"key":"6_CR3","volume-title":"Proceedings of the Second International Conference on Software Engineering","author":"R. Fabry","year":"1976","unstructured":"Fabry, R.: How to design A system in which modules can be changed on the fly. In: Proceedings of the Second International Conference on Software Engineering, IEEE, Los Alamitos (1976)"},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/0164-1212(91)90096-O","volume":"14","author":"O. Frieder","year":"1991","unstructured":"Frieder, O., Segal, M.E.: On Dynamically Updating a Computer Program: From Concept to Prototype. Journal of Systems and Software\u00a014(2), 111\u2013128 (1991)","journal-title":"Journal of Systems and Software"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Stoyle, G., Hicks, M.W., Bierman, G.M., Sewell, P., Neamtiu, I.: Mutatis mutandis: safe and predictable dynamic software updating. In: POPL, pp. 183\u2013194 (2005)","DOI":"10.1145\/1040305.1040321"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 238\u2013252. ACM Press, New York (1977)"},{"issue":"2","key":"6_CR7","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 Transactions on Software Engineering\u00a022(2), 120\u2013131 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"6_CR8","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1145\/322139.322143","volume":"26","author":"K.-C. Tai","year":"1979","unstructured":"Tai, K.-C.: The tree-to-tree correction problem. J. ACM\u00a026(3), 422\u2013433 (1979)","journal-title":"J. ACM"},{"issue":"6","key":"6_CR9","doi-asserted-by":"publisher","first-page":"1245","DOI":"10.1137\/0218082","volume":"18","author":"K. Zhang","year":"1989","unstructured":"Zhang, K., Shasha, D.: Simple fast algorithms for the editing distance between trees and related problems. SIAM J. Comput.\u00a018(6), 1245\u20131262 (1989)","journal-title":"SIAM J. Comput."},{"key":"6_CR10","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F.: A survey of program slicing techniques. Journal of programming languages\u00a03, 121\u2013189 (1995)","journal-title":"Journal of programming languages"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Jagannathan, S., Weeks, S.: A unified treatment of flow analysis. In: Conference Record of 22nd Annual Symposium on Principles of Programming Languages, pp. 393\u2013407 (1995)","DOI":"10.1145\/199448.199536"},{"key":"6_CR12","unstructured":"Shivers, O.: Control-Flow Analysis of Higer-Order Languages. PhD thesis, Carnegie Mellon University (May 1991)"},{"key":"6_CR13","unstructured":"Gilmore, S., Kirli, D., Walon, C.: Dynamic ML without dynamic types. Technical Report ECS-LFCS-97-378, Laboratory for the Foundations of Computer Science, The University of Edinburgh (December 1997)"},{"key":"6_CR14","unstructured":"Bierman, G., Hicks, M., Sewell, P., Stoyle, G.: Formalizing dynamic software updating. In: Proceedings of the Second International Workshop on Unanticipated Software Evolution (USE), April 2003 (2003)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Duggan, D.: Type-based hot swapping of running modules. In: Proc. International Conference on Functional Programming, pp. 62\u201373 (2001)","DOI":"10.1145\/507669.507645"}],"container-title":["Lecture Notes in Computer Science","Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77505-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T04:57:28Z","timestamp":1557205048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77505-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540775041","9783540775058"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77505-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}