An Evaluation of Slicing Algorithms for Concurrent Programs

11 years 11 months ago
An Evaluation of Slicing Algorithms for Concurrent Programs
Program slicing is a program-reduction technique for extracting statements that may influence other statements. While there exist efficient algorithms to slice sequential programs precisely, there are only two algorithms for precise slicing of concurrent interprocedural programs with recursive procedures. We implemented both algorithms for Java, applied several new optimizations and examined their precision and runtime behavior. We compared these results with two further algorithms which trade precision for speed. We show that one algorithm may produce incorrect slices and that precise slicing of concurrent programs is very expensive in terms of computation time.
Dennis Giffhorn, Christian Hammer
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where SCAM
Authors Dennis Giffhorn, Christian Hammer
Comments (0)