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.
A three-way merge for XML documents,
1 Pith paper cite this work, alongside 89 external citations. Polarity classification is still indexing.
1
Pith paper citing it
89
external citations · external index
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.