KIT | KIT-Bibliothek | Impressum | Datenschutz

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
Publikationsjahr 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 Association for Computing Machinery (ACM)
Seiten 178 - 187
Serie Software engineering notes ; 28,5
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page