張 晶 金成植
提要:介紹一種基于控制流的多線程程序的靜態切片算法,該算法的主要思想是在構造多線程程序依賴圖的同時保留程序的控制流信息,利用這些信息能夠判斷出程序中的多線程可實現路徑,從而提高多線程程序靜態切片的精度和效率.最后給出一個多線程切片的實例,
關鍵詞:多線程程序;程序依賴圖;程序切片;切片算法
中圖分類號:TP312
文獻標識碼:A
文章編號:167l—5489(2003)04—048l—06
吉林大學學報(理學版)2003年4期
1《師道·教研》2024年10期
2《思維與智慧·上半月》2024年11期
3《現代工業經濟和信息化》2024年2期
4《微型小說月報》2024年10期
5《工業微生物》2024年1期
6《雪蓮》2024年9期
7《世界博覽》2024年21期
8《中小企業管理與科技》2024年6期
9《現代食品》2024年4期
10《衛生職業教育》2024年10期
關于參考網