Aim: a set of execution paths P suc

Aim: a set of execution paths P such that
for every node i in control flow graph and
every variable x having a global definition
in node i, P includes a definition clear
path of variable x from node i to
every element in dcu (x,i) AND
every elements in dpu (x,i)

Results (Indonesian) 2:

Tujuan: satu set jalur eksekusi P sehingga
untuk setiap node i di aliran kontrol grafik dan
setiap x variabel memiliki definisi global yang
di simpul i, P termasuk yang jelas definisi
jalur variabel x dari node i ke
every elemen di DCU (x , i) DAN
elemen every di dpu (x, i)