Research of dynamical detecting technique of non-functional dependence program invariant
LIU Shu-kun1,CHEN Ji-feng1,2,YANG Xiao-hua3
1.Department of Computer Science and Technology,Hunan International Economics University,Changsha 410205,China 2.Institute of Computer Software,Xi’an Jiao tong University,Xi’an 710049,China 3.Department of Computer Science and Technology,University of South China,Hengyang,Hunan 421001,China
LIU Shu-kun1,CHEN Ji-feng1,2,YANG Xiao-hua3. Research of dynamical detecting technique of non-functional dependence program invariant[J]. Computer Engineering and Applications, 2008, 44(35): 158-162.