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.
Balancing precision and performance in structured merge,
1 Pith paper cite this work, alongside 39 external citations. Polarity classification is still indexing.
1
Pith paper citing it
39
external citations · OpenAlex
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.