机译:基于依赖性的基于依赖性的切片的语义正确性,可能是非误解计划
Malardalen Univ Sch Innovat Design & Engn Vasteras Sweden;
Malardalen Univ Sch Innovat Design & Engn Vasteras Sweden;
Correctness of slicing; static slicing; semi-equivalence; simulation; bisimulation; nontermination; nondeterminism; interprocedural program;