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) 1:

Tujuan: satu set eksekusi jalur P sedemikian rupa sehingga untuk setiap node dalam kontrol aliran grafik dan Setiap variabel x memiliki definisi yang global di simpul i, P meliputi definisi yang jelas jalan x variabel dari node saya Every elemen dalam dcu (x, i) danUnsur-unsur Every di 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)