On the Correctness of Software Merge (Replication Package)

1 / 1
U
nw
a
n
ed
S
ou
ce
C
o
de
M
o
di ica
i
ons
O
b
s
e
ed
i
n
JD
i
m
e
/
S
po
k
O
u pu s
R
ed
un
da
n
I
ns
a
n
ce
C
ea
i
on
i
n
I
n
i
iali
z
e
R
ed
un
da
n
M
o
di ie
D
ecla
a
i
on
S
p
li
R
ed
un
da
n
E
mp y
D
ecla
a
i
on
R
ed
un
da
n
B
l
o
ck