Judith A. Stafford  Home/Search
Context
Related
| fit.ac.jp/~zhao/tmp/staffordphd.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: fit.ac.jp/~zhao/tmp/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Dependence relationships among the statements of a program are important to understand for various software development and maintenance purposes. The program's dependence graph is used as a base for various types of program analyses. A dependence graph represents the potential for one statement in a program to a ect another in terms of the control and data dependencies among a program's statements. A dependence graph is a directed multi-graph; the vertices of the graph represent the statements... (Update)
Active bibliography (related documents): More All
6.2: A Formal, Language-Independent, and Compositional Approach to.. - Stafford (Correct)
0.8: Software Environments in Support of Wide-Area Development - Heimbigner, King, Wolf (2000) (Correct)
0.5: Architecture-level Dependence Analysis for Software Systems - Stafford, Wolf (2000) (Correct)
Similar documents based on text: More All
0.2: Interprocedural Control Dependence - Sinha, Harrold, Rothermel (2000) (Correct)
0.2: Aladdin: A Tool for Architecture-Level Dependence.. - Stafford, Richardson.. (1998) (Correct)
0.2: Architecture-Based Software Engineering - Stafford, Wolf (1999) (Correct)
BibTeX entry: (Update)
@misc{ stafford-formal,
author = "Judith A. Stafford",
title = "A Formal, Language-Independent, and Compositional Approach to Interprocedural
Control Dependence Analysis",
url = "citeseer.ist.psu.edu/628018.html" }
Citations (may not include all citations):1399 Compilers principles (context) - Aho, Sethi et al. - 1986
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
225 Flow Analysis of Computer Programs (context) - Hecht - 1977
186 The Program Dependence Graph in a Software Development Envir.. (context) - Ottenstein, Ottenstein - 1984
116 Monotone Data Flow Analysis Frameworks (context) - Kam, Ullman - 1977
109 Advanced Compiler Design & Implementation (context) - Muchnick - 1997
77 Slicing Object-Oriented Software (context) - Larsen, Harrold - 1996
63 Incremental Program Testing using Program Dependence Graphs (context) - Bates, Horwitz - 1993
59 Number Operation Simultaneously Executable FORTRAN like Prog.. (context) - Muraoka, the et al. - 1972
57 and Practical Investigations of an Automatic Program Abstrac.. (context) - Weiser, Formal - 1979
55 A Program Data Flow Analysis Procedure (context) - Allen, Cocke - 1976
51 Computer Algorithms: Introduction to Design and Analysis (context) - Baase, Van Gelder - 2000
39 A Fast and Usually Linear Algorithm for Global Flow Analysis (context) - Graham, Wegman - 1976
38 Control Flow Analysis (context) - Allen - 1970
37 SUIF Explorer: An Interactive and Interprocedural Paralleliz.. - Liao, Diwan et al. - 1999
35 System-Dependence-Graph-Based Slicing of Programs With Arbit.. - Sinha, Harrold et al. - 1999
35 the Adequacy of Program Dependence Graphs for Representing P.. - Horwitz, Prins et al. - 1988
30 Slicing Concurrent Programs | A Graph-Theoretical Approach - Cheng - 1993
28 Data Flow Analysis in Software Reliability (context) - Fosdick, Osterweil - 1976
25 Static Slicing of Concurrent Object-Oriented Programs - Zhao, Cheng et al. - 1996
23 Computation of Interprocedural Control Dependence - Harrold, Rothermel et al. - 1998
22 Optimal Control Dependence Computation and the Roman Chariot.. - Pingali, Bilardi - 1997
21 Data Flow Analysis for Procedural Languages (context) - Rosen - 1979
20 Using Dependence Analysis to Support the Software Maintenanc.. (context) - Loyall, Mathisen - 1993
20 Developing and Integrating ProDAG in the Arcadia Environment (context) - Richardson, O'Malley et al. - 1992
19 Interprocedural Data Flow Analysis (context) - Allen - 1974
18 A Framework for Generalized Control Dependence (context) - Bilardi, Pingali - 1996
17 Using Dependence Analysis to Support Software Architecture U.. - Zhao - 1997
16 Object Code Optimization (context) - Lowry, Medlock - 1969
14 A Formal Model of Program Dependencies and its Implications .. (context) - Podgurski, Clarke - 1990
14 Program Slicing of Hardware Description Languages - Clarke, Fujita et al. - 1999
13 Node Listings Applied to Data Flow Analysis (context) - Kennedy - 1975
10 The Method of Attributes for Data Flow Analysis (context) - Babich, Jazayeri - 1978
10 The Method of Attributes for Data Flow Analysis (context) - Babich, Jazayeri - 1978
10 Certi cation of Programs for Secure Information Flow (context) - Denning, Denning - 1977
9 Program Optimization (context) - Allen - 1969
9 Aladdin: A Tool for Architecture-Level Dependence Analysis o.. (context) - Sta, Richardson et al. - 1998
9 A fast algorithm for nding dominators in a owgraph (context) - Lengauer, Tarjan - 1979
8 Chaining: A Software Architecture Dependence Analysis Techni.. (context) - Sta, Richardson et al. - 1997
8 A Basis for Program Optimization (context) - Allen - 1971
8 High-Level Data Flow Analysis (context) - Rosen - 1977
8 A Formal Study of Slicing for Multi-threaded Programs with J.. (context) - Hatcli, Corbett et al. - 1999
7 Multithreaded Dependence Graphs for Concurrent Java Programs - Zhao - 1999
6 Applications of Boolean Matrices to the Analysis of Flow Dia.. (context) - Prosser - 1959
6 Data Flow Analysis in the Presence of Procedure Calls (context) - Lomet - 1977
5 Annotating Components to Support Component-Based Static Anal.. (context) - Sta, Wolf - 2000
5 Architecture-Level Dependence Analysis in Support of Softwar.. (context) - Sta, Wolf - 1998
5 third edition (context) - Chartrand, Lesniak et al. - 1996
4 Path-Based Depth- rst Search for Strong and Biconnected Comp.. (context) - Gabow - 2000
2 Ecient Construction of Program Dependence Graphs (context) - Harrold, Malloy et al. - 1993
2 A Graph Theoretical Fortram Source Language Analyzer (context) - Vyssotsky, Wegner - 1963
2 The Systems Programming Series (context) - Linger, Mills et al. - 1979
2 Turing Machines and Languages With Only Tow Formation Rules (context) - Bohm, Jacopini - 1966
2 The Signi cance of Program Dependences for Software Testing (context) - Podgurski - 1989
Documents on the same site (http://www.fit.ac.jp/~zhao/tmp/papers.html):
Unknown - Program Sliam Usia (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