KIT | KIT-Bibliothek | Impressum | Datenschutz

An Evaluation of Slicing Algorithms for Concurrent Programs

Giffhorn, Dennis; Hammer, Christian


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 in general is very expensive in terms of needed computation time.

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2007
Sprache Englisch
Identifikator ISBN: 0-7695-2880-5
KITopen-ID: 1000017609
Erschienen in Proceedings of the 7th IEEE Working Conference on Source Code Analysis and Manipulation (SCAM 2007), Paris, France, September 30-October 01 2007
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Seiten 17 - 26
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page