A formal investigation of Diff3¶
Khanna, S., Kunal, K., & Pierce, B. C. (2007). A formal investigation of Diff3. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science.
Cited by¶
1 citation across 1 artifact.
Primes¶
- Branching and Merging
- It separates the work of changing from the work of agreeing: parallel lines change freely in isolation, and a discrete merge operation later does the agreeing all at once, including the explicit detection and resolution of the conflicts that accumulated while the lines were apart.
Supported in partVerified against the publisher's abstract
Supplies only the publisher abstract of the formal diff3 analysis: diff3 is a merge algorithm whose edit-conflict properties are studied, but the claim's changing/agreeing separation is not stated.
“Despite abundant anecdotal evidence that people find diff3 ’s behavior intuitive and predictable in practice, characterizing its good properties turns out to be rather delicate: a number of seemingly natural intuitions are incorrect in general. Our main result is a careful analysis of the intuition that edits to “well-separated” regions of the same document are guaranteed never to conflict.”
- It separates the work of changing from the work of agreeing: parallel lines change freely in isolation, and a discrete merge operation later does the agreeing all at once, including the explicit detection and resolution of the conflicts that accumulated while the lines were apart.
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Read against the text for 1 of 1 citation: 1 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:b4a8434c401b · see in the full table