摘要
程序切片是一种重要的程序分析技术,随着并行技术在越来越多的程序中得到运用,需要将以往多用于顺序程序的程序切片技术也用于并发程序中。本文在文献[1,2]的基础上考虑到互斥机制作用,改进了原来的并发程序的切片算法,使之适用于互斥机制的并发程序。
Program slicing is an important technique for analyzing programs. It is required to apply the technique to concurrent programs with the concurrent technique employed in more programs. This paper presents a new but more precise algorithm based on 1,2, taking mutual exclusion into account.
出处
《计算机工程与科学》
CSCD
2007年第1期79-82,共4页
Computer Engineering & Science
关键词
程序切片
互斥
并发程序
program slicing
mutual exclusion
concurrent program
