Saurabh Sinha, Mary Jean Harrold  Home/Search
Context Related
| gatech.edu/aristotle/P...tosem00icd.ps 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: gatech.edu/aristotle/Publ...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a definition of interprocedural control dependence that supports the relationship of control and data dependence to semantic dependence. The paper presents two approaches for computing interprocedural control dependences, and empirical results pertaining to the use of those approaches. (Update)
Context of citations to this paper: More
...prove the following theorem. The appendix provides an outline of the proof; further details of the proof can be found in Reference [Sinha et al. 2000]. Theorem 4. Let G I be the IIFG for program P. Let u and v be nodes in G I . Let s u and s v be the statements in P such that u...
...we prove the following theorem. The appendix provides an outline of the proof; further details of the proof can be found in Reference [30]. Theorem 3. Let G I be the IIFG for program P . Let u and v be nodes in G I . Let s u and s v be the statements in P such that u 2...
Cited by: More
Identification of Software Instabilities - Bevan, Whitehead, Jr. (2003) (Correct)
Interprocedural Control Dependence - Sinha, Harrold, Rothermal (2000) (Correct)
Similar documents (at the sentence level):
10.1%: Computation of Interprocedural Control Dependencies - Harrold, Rothermel, Sinha (1998) (Correct)
9.1%: Computation of Interprocedural Control Dependence - Harrold, Rothermal, Sinha (1998) (Correct)
Active bibliography (related documents): More All
0.2: Efficient Computation of Interprocedural Control Dependence - Ezick, Bilardi, Pingali (Correct)
0.2: Analysis and Testing of Programs With Exception-Handling.. - Sinha, Harrold (2000) (Correct)
0.2: Race Condition Detection For Debugging Shared-Memory Parallel.. - Netzer (1991) (Correct)
Similar documents based on text: More All
0.4: Analysis and Testing of Programs with Exception-Handling.. - Sinha, Harrold (1999) (Correct)
0.4: Understanding Data Dependences in the Presence of Pointers - Orso, Sinha, Harrold (2003) (Correct)
0.4: Mini Project Report One - Christoph Csallner September (Correct)
Related documents from co-citation: More All
3: Precise interprocedural dataflow analysis via graph reachability - Reps, Horwitz et al. - 1995
2: Two approaches to interprocedural data flow analysis (context) - Sharir, Pnueli - 1981
2: The Significance of Program Dependences for Software Testing, Debugging, and Mai.. (context) - Podgurski - 1989
BibTeX entry: (Update)
Sinha, S., Harrold, M. J., and Rothermel, G. 2000. Interprocedural control dependence. Technical Report GIT-CC-00-17 (June), College of Computing, Georgia Institute of Technology. http://citeseer.ist.psu.edu/sinha00interprocedural.html More
@article{ sinha01interprocedural,
author = "Saurabh Sinha and Mary Jean Harrold and Gregg Rothermel",
title = "Interprocedural control dependence",
journal = "ACM Transactions on Software Engineering and Methodology",
volume = "10",
number = "2",
pages = "209--254",
year = "2001",
url = "citeseer.ist.psu.edu/sinha00interprocedural.html" }
Citations (may not include all citations):480 The program dependence graph and its use in optimization (context) - Ferrante, Ottenstein et al. - 1987
415 Efficiently computing static single assignment form and the .. - Cytron, Ferrante et al. - 1991
175 A safe approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 1992
144 Two approaches to interprocedural data flow analysis (context) - Sharir, Pnueli - 1981
135 Integrating noninterfering versions of programs (context) - Horwitz, Prins et al. - 1989
129 Precise interprocedural dataflow analysis via graph reachabi.. - Reps, Horwitz et al. - 1995
82 A formal model of program dependences and its implications f.. (context) - Podgurski, Clarke - 1990
72 Experiments on the effectiveness of dataflow- and controlflo.. (context) - Hutchins, Foster et al. - 1994
66 Interprocedural side-effect analysis in linear time (context) - Cooper, Kennedy - 1988
54 The design of whole-program analysis tools - Atkinson, Griswold - 1996
37 Lightweight lexical source model extraction (context) - Murphy, Notkin - 1996
35 System-dependence-graph-based slicing of programs with arbit.. - Sinha, Harrold et al. - 1999
35 Reuse-driven interprocedural slicing - Harrold, Ci - 1998
28 An incremental version of iterative data flow analysis (context) - Pollock, Soffa - 1989
27 Analysis and testing of programs with exceptionhandling cons.. - Sinha, Harrold - 2000
26 Using semantic differencing to reduce the cost of regression.. - Binkley - 1992
24 Interprocedural def-use associations in C programs (context) - Pande, Landi et al. - 1994
23 Computation of interprocedural control dependence - Harrold, Rothermel et al. - 1998
22 Optimal control dependence computation and the Roman chariot.. - Pingali, Bilardi - 1997
22 Efficient computation of interprocedural definition-use chai.. (context) - Harrold, Soffa - 1994
20 Using dependence analysis to support the software maintenanc.. (context) - Loyall, Mathisen - 1993
18 A framework for generalized control dependence (context) - Bilardi, Pingali - 1996
16 Context-sensitive interprocedural pointsto analysis in the p.. (context) - Emami, Ghiya et al. - 1994
10 Interprocedural path profiling - Melski, Reps - 1998
8 Program dependence graphs for the rest of us - Ballance, Maccabe - 1992
4 The significance of program dependences for software testing (context) - Podgurski - 1989
3 Interprocedural control dependence - Sinha, Harrold et al. - 2000
Documents on the same site (http://www.cc.gatech.edu/aristotle/Publications/index.html): More
Empirical Studies of a Safe Regression Test Selection Technique - Rothermel, Harrold (1998) (Correct)
An Empirical Investigation of Program Spectra - Harrold, Rothermel, Wu, Yi (1997) (Correct)
Analyzing Regression Test Selection Techniques - Rothermel, Harrold (1996) (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