A Formal Investigation of Diff3

DOI10.1007/978-3-540-77050-3_40zbMath1135.68375OpenAlexW98718822MaRDI QIDQ5458859

Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce

Publication date: 24 April 2008

Published in: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-77050-3_40

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (1)

Normalization of edit sequences for text synchronization

Cites Work

• An \(O(ND)\) difference algorithm and its variations
• Algorithms for approximate string matching
• Database Programming Languages

This page was built for publication: A Formal Investigation of Diff3