Static Slicing of Threaded Programs (1998)
| Venue: | IN PROCEEDINGS ACM SIGPLAN/SIGFSOFT WORKSHOP ON PROGRAM ANALYSIS FOR SOFTWARE TOOLS AND ENGINEERING (PASTE’98 |
| Citations: | 61 - 3 self |
BibTeX
@INPROCEEDINGS{Krinke98staticslicing,
author = {Jens Krinke},
title = {Static Slicing of Threaded Programs},
booktitle = {IN PROCEEDINGS ACM SIGPLAN/SIGFSOFT WORKSHOP ON PROGRAM ANALYSIS FOR SOFTWARE TOOLS AND ENGINEERING (PASTE’98},
year = {1998},
pages = {35--42},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Static program slicing is an established method for analyzing sequential programs, especially for program understanding, debugging and testing. Until now, there was no slicing method for threaded programs which handles interference correctly. We present such a method which also calculates more precise static slices. This paper extends the well known structures of the control flow graph and the program dependence graph for threaded programs with interference. This new technique does not require serialization of threaded programs.
