Liu Zhen
Abstract
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.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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.
Key concepts: Computer science, Mutual exclusion, Slicing, Program slicing, Concurrency, Programming language, Parallel computing, World Wide Web