Merge results are correct iff parsable and universal (pushout of AST edits); d3j achieves this with zero violations on large Java datasets while existing tools do not.
On the methodology of three-way structured merge in version control systems: Top-down, bottom-up, or both,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
On the Correctness of Software Merge
Merge results are correct iff parsable and universal (pushout of AST edits); d3j achieves this with zero violations on large Java datasets while existing tools do not.