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.
Spork: Struc- tured merge for java with formatting preservation,
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.