KIT | KIT-Bibliothek | Impressum

Context-Sensitive Slicing of Concurrent Programs

Krinke, Jens

Abstract:
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.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2003
Sprache Englisch
Identifikator ISSN: 0163-5948
KITopen ID: 1000017622
Erschienen in Proceedings of the joint 9th European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11), Helsinki, Finland, September 1 - 5, 2003. Ed.: P. Inverardi
Verlag ACM Press, New York (NY)
Seiten 178 - 187
Serie Software engineering notes ; 28,5
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page