Sciweavers

SIGSOFT
2003
ACM

Context-sensitive slicing of concurrent programs

15 years 20 days ago
Context-sensitive slicing of concurrent programs
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent programs. This work presents the first context-sensitive approach to slice concurrent programs accurately. It extends the well known structures of the control flow graph and the (interprocedural) program dependence graph for concurrent programs with interference. This new technique does not require serialization or inlining. Categories and Subject Descriptors D.2.5 [Software Engineering]: Testing and Debugging; D.2.7 [Software Engineering]: Distribution, Maintenance, and Enhancement--Restructuring, reverse engineering, and reengineering Keywords program analysis, program slicing, context-sensitive, concurrency, parallelism General Terms Algorithms, Performance
Jens Krinke
Added 20 Nov 2009
Updated 20 Nov 2009
Type Conference
Year 2003
Where SIGSOFT
Authors Jens Krinke
Comments (0)