Michael D. Ernst  Home/Search
Context Related
| washington.edu/hom...icingtr9414.ps.gz washington.edu/hom...icingtr9414.ps.gz mit.edu/~mernst//p...icingtr9414.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: washington.edu/homes/mernst/pu... (more) From: washington.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Program slicing is a technique for visualizing dependences and restricting attention to just the components of a program relevant to evaluation of certain expressions. Backward slicing reveals which other parts of the program the expressions' meaning depends on, while forward slicing determines which parts of the program depend on their meaning. Slicing helps programmers understand program structure, which aids program understanding, maintenance, testing, and debugging; slicing can also assist... (Update)
Cited by: More
Characterising, Explaining, and Exploiting the.. - Binkley, Harman, Krinke (2006) (Correct)
Animated Visualisation of Static Analysis.. - Binkley, Harman, Krinke (Correct)
Validation of Measurement Software as an Application of.. - Krinke, Snelting (1998) (Correct)
Active bibliography (related documents): More All
0.7: A Survey of Program Slicing Techniques - Tip (1995) (Correct)
0.5: Sequentializing Program Dependence Graphs for Irreducible Programs - Steensgaard (1993) (Correct)
0.5: Caroline Mae Tice - Report No Ucb (Correct)
Similar documents based on text: More All
0.3: An Approach to Slicing Widget-Based Event-Driven Programs.. - ZHANG, SHIMOMURA (Correct)
0.1: Research Summary for Dynamic Detection of Program Invariants - Ernst (1999) (Correct)
0.1: Slicing Pointers and Procedures (abstract) - Ernst (1995) (Correct)
Related documents from co-citation: More All
7: Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1990
4: Technical Report SERC-TR-61-F (context) - Livadas, Croll - 1992
4: Program understanding and maintenance with the CANTO environment - Antoniol, Fiutem et al. - 1997
BibTeX entry: (Update)
Michael D. Ernst. Practical fine-grained static slicing of optimized code. Technical Report MSRTR -94-14, Microsoft Research, Redmond, WA, July 26, 1994. http://citeseer.ist.psu.edu/ernst94practical.html More
@techreport{ ernst94practical,
author = "Michael D. Ernst",
title = "Practical fine-grained static slicing of optimized code",
number = "MSR-TR-94-14",
month = "26~July",
address = "Redmond, WA, USA",
year = "1994",
url = "citeseer.ist.psu.edu/ernst94practical.html" }
Citations (may not include all citations):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
390 Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1988
318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
296 Free Software Foundation (context) - Stallman, Manual - 1994
246 Context-sensitive interprocedural points-to analysis in the .. - Emami, Ghiya et al. - 1993
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
116 Programmers use slices when debugging (context) - Weiser - 1982
82 A formal model of program dependences and its implications f.. (context) - Podgurski, Clarke - 1990
77 The semantic approach to program slicing (context) - Venkatesh - 1991
68 Interprocedural data flow analysis in the presence of pointe.. - Weihl - 1980
57 and practical investigations of an automatic program abstrac.. (context) - Weiser, formal - 1979
57 Automatic program bug location by program slicing (context) - Lyle, Weiser - 1987
51 Value dependence graphs: Representation without taxation - Weise, Crew et al. - 1994
49 Centrum voor Wiskunde en Informatica - Tip, of et al. - 1994
45 Automated support for legacy code understanding (context) - Ning, Engberts et al. - 1994
43 On slicing programs with jump statements - Agrawal - 1994
43 Slicing programs with arbitrary control flow - Ball, Horwitz - 1992
35 the adequacy of program dependence graphs for representing p.. - Horwitz, Prins et al. - 1988
32 Using an enabling technology to reengineer legacy systems (context) - Markosian, Newcomb et al. - 1994
25 The semantics of program slicing - Reps, Yang - 1988
20 Experiments on slicing-based debugging aids (context) - Lyle, Weiser - 1986
19 Finding program slices for recursive procedures (context) - Hwang, Du et al. - 1988
15 A practical context-sensitive interprocedural alias analysis.. (context) - Hendren, Emami et al. - 1993
14 Minimizing communication for synchronizing parallel dataflow.. (context) - Badger, Weiser - 1988
13 Multi-procedure program integration (context) - Binkley - 1991
12 ACM Letters on Programming Languages and Systems (context) - Binkley, interprocedural - 1993
12 Program slicing for C --- the problems in implementation (context) - Jiang, Zhou et al. - 1991
12 Reconstructing sequential behavior from parallel behavior pr.. (context) - Weiser - 1983
11 Technical Report SERC-TR-61-F (context) - Livadas, Croll - 1992
9 MIT Scheme Reference Manual - Hanson - 1993
8 Efficient comparison of program slices - Horwitz, Reps - 1990
5 ACM Letters on Programming Languages and Systems (context) - Fritzson, Shahmehri et al. - 1992
2 High-level debugging assistance via optimizing compiler tech.. (context) - Ottenstein, Ottenstein - 1983
2 The use of control-flow and control dependence in software t.. - Ball - 1993
1 What is in a slice (context) - Choi, Ferrante et al. - 1993
1 Abstract program dependences for reverse engineering (context) - Jackson, Rollins - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.washington.edu/homes/mernst/pubs/): More
Adequate Models for Recursive Program Schemes - Ernst (1989) (Correct)
Slicing Pointers and Procedures (abstract) - Ernst (1995) (Correct)
Dynamically Discovering Likely Program Invariants to .. - Ernst, Cockrell.. (1999) (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