• Aim: a set of execution paths P s

• 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)
 However, if dcu (x,i)is empty, P must include
a definition clear path of variable x from node i
to some 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 pada node saya,  P termasuk jalur yang jelas definisi x variabel dari node saya untuk setiap elemen dalam dcu (x, i)  Namun, jika dcu (x, i) adalah kosong, P harus mencakup definisi yang jelas jalan x variabel dari node saya beberapa elemen dalam 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 jalur definisi yang jelas tentang variabel x
dari node i ke setiap elemen di DCU ( x, i)
 Namun, jika DCU (x, i) kosong, P harus menyertakan
jalan yang jelas definisi variabel x dari node i
ke beberapa elemen di dpu (x, i)