See this document in CiteSeerX!

System Dependence Graphs Based on Parse Trees and their Use in Software Maintenance (1994)  (Make Corrections)  (3 citations)
Panos E. Livadas, Stephen Croll
Information Sciences



  Home/Search   Context   Related

 
View or download:
ufl.edu/pub/faculty/pel...slicing.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.tubs.de/~krinke/Slici...node6 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The concept of static program slicing was first introduced by Weiser. Ottenstein et al. indicated that an intraprocedural slice can be found in linear time by traversing a suitable graph representation of the program referred to as the program dependence graph (PDG). Horwitz et al. introduced algorithms to construct interprocedural slices by extending the program dependence graph to a supergraph of the PDG referred to as the system dependence graph (SDG). This extension captures the calling... (Update)

Context of citations to this paper:   More

...C and which generates an SDG. We have also implemented tools such as a slicer, a dicer, and a ripple analyzer that can utilize this SDG [Liv94]. In addition, we are exploring the use of this SDG in some of the software engineering activities discussed above. The grammar that...

...an earlier paper, we discussed both an internal program representation and an environment that conforms to the requirements stated above. [11] The internal program representation, the system dependence graph (SDG) is a directed labeled multigraph that captures all control and...

Cited by:   More
Understanding Code Containing Preprocessor Constructs - Livadas, Small (1994)   (Correct)
A Toolset for Program Understanding - Livadas, Alden (1993)   (Correct)
A New Algorithm for the Calculation of Transitive Dependences - Livadas, Croll (1994)   (Correct)

Similar documents (at the sentence level):
40.0%:   Program Slicing - Livadas, Croll (1992)   (Correct)
18.1%:   An Optimal Algorithm for the Construction of the System.. - Livadas, Johnson   (Correct)

Active bibliography (related documents):   More   All
0.3:   Chapter 1 Program Integration - Program Integration Concerns   (Correct)
0.2:   The Use of Program Dependence Graphs in Software Engineering - Susan Horwitz And (1992)   (Correct)
0.2:   Practical Fine-Grained Static Slicing of Optimized Code - Ernst (1994)   (Correct)

Similar documents based on text:   More   All
0.4:   An Integrated Software Maintenance Environment (Renewal Proposal) - Livadas (1994)   (Correct)
0.4:   An Integrated Software Maintenance Environment - Livadas   (Correct)
0.3:   Improved Interprocedural Slicing Algorithm - Lakhotia (1992)   (Correct)

Related documents from co-citation:   More   All
4:   Integrating noninterfering versions of programs (context) - Horwitz, Prins et al. - 1989
3:   Automatic program bug location by program slicing (context) - Lyle, Weiser - 1987
3:   Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1990

BibTeX entry:   (Update)

Panos E. Livadas, Stephen Croll. "System Dependence Graphs Based on Parse Trees and their Use in Software Maintenance", Journal of Information Sciences, Vol 76, No 3&4, February 1994; pp. 197-232. http://citeseer.ist.psu.edu/livadas94system.html   More

@article{ livadas94system,
    author = "Panos E. Livadas and Stephen Croll",
    title = "System Dependence Graphs Based on Parse Trees and their Use in Software Maintenance",
    journal = "Information Sciences",
    volume = "76",
    number = "3-4",
    pages = "197-232",
    year = "1994",
    url = "citeseer.ist.psu.edu/livadas94system.html" }
Citations (may not include all citations):
1450   The Design and Analysis of Computer Algorithms (context) - Aho, Hopcroft et al.
480   The Program Dependence Graph and its Use in Optimization (context) - Ferrante, Ottenstein et al. - 1987
390   Interprocedural Slicing Using Dependence Graphs - Horwitz, Reps et al. - 1990
318   IEEE Transactions on Software Engineering (context) - Weiser, Slicing - 1984
265   Program Slicing (context) - Weiser - 1981
186   The Program Dependence Graph in a Software Development Envir.. (context) - Ottenstein, Ottenstein - 1984
135   Integrating Non-interfering Versions of Programs (context) - Horwitz, Prins et al. - 1989
135   Integrating Non-interfering Versions of Programs (context) - Horwitz, Prins et al.
131   Dynamic Program Slicing - Agrawal, Horgan
122   Compilers: Principles, Techniques and Tools (context) - Aho, Sethi et al.
116   Programmers Use Slices When Debugging (context) - Weiser - 1982
91   An Efficient Way to Find the Side Effects of Procedure Calls.. (context) - Banning - 1979
76   The Program Summary Graph and Flow-sensitive Interprocedural.. (context) - Callahan - 1988
57   Automatic Program Bug Location by Program Slicing (context) - Lyle, Weiser - 1987
49   Ordered Attribute Grammars (context) - Kastens - 1980
25   The Semantics of Program Slicing - Reps, Yang - 1988
23   Detecting Program Components With Equivalent Behaviors - Yang, Horwitz et al. - 1989
20   Experiments in Slicing-based Debugging Aids (context) - Lyle, Weiser - 1986
19   Finding Program Slices for Recursive Procedures (context) - Hwang, Du et al. - 1988
14   Minimizing Communications for Synchronizing Parallel Dataflo.. (context) - Badger, Weiser - 1988
10   Illustrating Interference in Interfering Versions of Program.. (context) - Reps, Bricker - 1989
7   Comments on Program Slicing (context) - Leung, Reghbati - 1987
4   The C Programming (ANSI C) Language (context) - Kernigham, Ritchie

Documents on the same site (http://www.cs.tu-bs.de/~krinke/Slicing/node6.html):   More
Dynamic Slicing in the Presence of Unconstrained Pointers - Agrawal (1991)   (Correct)
Project Project: Tools for Program Analysis and.. - Harman, Danicic..   (Correct)
Function Recovery based on Program Slicing - Lanubile, Visaggio (1993)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC