Slicing Concurrent Programs in the Presence of Mutual Exclusion
Liu Zhen · Computer Engineering and Science · 2007
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.