{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T21:47:53Z","timestamp":1769723273935,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540770497","type":"print"},{"value":"9783540770503","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-77050-3_40","type":"book-chapter","created":{"date-parts":[[2007,11,26]],"date-time":"2007-11-26T08:39:22Z","timestamp":1196066362000},"page":"485-496","source":"Crossref","is-referenced-by-count":31,"title":["A Formal Investigation of Diff3"],"prefix":"10.1007","author":[{"given":"Sanjeev","family":"Khanna","sequence":"first","affiliation":[]},{"given":"Keshav","family":"Kunal","sequence":"additional","affiliation":[]},{"given":"Benjamin C.","family":"Pierce","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","unstructured":"Smith, R.: GNU diff3, Version 2.8.1, April 2002; distributed with GNU diffutils package (1988)"},{"key":"40_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1030397.1030399","volume-title":"DocEng 2004: Proceedings of the 2004 ACM symposium on Document engineering","author":"T. Lindholm","year":"2004","unstructured":"Lindholm, T.: A three-way merge for xml documents. In: DocEng 2004: Proceedings of the 2004 ACM symposium on Document engineering, pp. 1\u201310. ACM Press, New York (2004)"},{"issue":"2","key":"40_CR3","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1145\/235968.233366","volume":"25","author":"S.S. Chawathe","year":"1996","unstructured":"Chawathe, S.S., Rajamaran, A., Garcia-Molina, H., Widom, J.: Change detection in hierarchically structured information. ACM SIGMOD Record\u00a025(2), 493\u2013504 (1996)","journal-title":"ACM SIGMOD Record"},{"key":"40_CR4","unstructured":"Lanham, M., Kang, A., Hammer, J., Helal, A., Wilson, J.: Format-independent change detection and propagation in support of mobile computing. In: Brazilian Symposium on Databases (SBBD), Gramado, Brazil, pp. 27\u201341 (October 2002)"},{"key":"40_CR5","unstructured":"MacKenzie, D., Eggert, P., Stallman, R.: Comparing and Merging Files with GNU diff and patch. Network Theory Ltd. Printed version of GNU manual (2003)"},{"issue":"11","key":"40_CR6","doi-asserted-by":"publisher","first-page":"1025","DOI":"10.1002\/spe.4380151102","volume":"15","author":"W. Miller","year":"1985","unstructured":"Miller, W., Myers, E.W.: A file comparison program. Softw., Pract. Exper.\u00a015(11), 1025\u20131040 (1985)","journal-title":"Softw., Pract. Exper."},{"issue":"2","key":"40_CR7","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF01840446","volume":"1","author":"E.W. Myers","year":"1986","unstructured":"Myers, E.W.: An o(nd) difference algorithm and its variations. Algorithmica\u00a01(2), 251\u2013266 (1986)","journal-title":"Algorithmica"},{"issue":"1-3","key":"40_CR8","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/S0019-9958(85)80046-2","volume":"64","author":"E. Ukkonen","year":"1985","unstructured":"Ukkonen, E.: Algorithms for approximate string matching. Information and Control\u00a064(1-3), 100\u2013118 (1985)","journal-title":"Information and Control"},{"key":"40_CR9","doi-asserted-by":"crossref","unstructured":"Foster, J.N., Greenwald, M.B., Kirkegaard, C., Pierce, B.C., Schmitt, A.: Exploiting schemas in data synchronization. Journal of Computer and System Sciences (2007) To appear. Extended abstract in Database Programming Languages (DBPL) (2005)","DOI":"10.1007\/11601524_3"},{"issue":"5","key":"40_CR10","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1109\/TSE.2002.1000449","volume":"28","author":"T. Mens","year":"2002","unstructured":"Mens, T.: A state-of-the-art survey on software merging. IEEE Trans. Software Eng.\u00a028(5), 449\u2013462 (2002)","journal-title":"IEEE Trans. Software Eng."},{"key":"40_CR11","unstructured":"Stallman, R., et al.: Comparing and merging files, Manual for GNU diffutils (2002), available at www.gnu.org"}],"container-title":["Lecture Notes in Computer Science","FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77050-3_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:55:57Z","timestamp":1619520957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77050-3_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540770497","9783540770503"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77050-3_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}