Barbara G. Ryder  Home/Search
Context Related
| rutgers.edu/~ryder/mit96.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: rutgers.edu/~ryder/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: he same term, such as flow sensitivity[Marlowe et al. 1995]. It is most important, for example, to have both the abstract interpretation [Cousot and Cousot 1977] and data flow analysis communities achieve better mutual understanding of each other's contributions and definitional frameworks. Similarly, there needs to be more unification between the functional, imperative and logic programming analysis communities. Unless these unifying discussions are deemed important, it will be difficult to... (Update)
Context of citations to this paper: More
.... 5 Conclusion Let us recall some of the fundamental questions stated by Barbara Ryder in her position paper on compile time program analysis [35]. 1. How can we unify our field and develop a carefully defined and understandable set of terms to be used across the discipline 2....
Cited by: More
A Comparative Study of Reaching-definitions Analyses - Collard, Knoop (1998) (Correct)
Active bibliography (related documents): More All
0.4: Region Analysis: A Parallel Elimination Method for Data Flow.. - Yong-Fong Lee (1995) (Correct)
0.3: Practical Parallelization: Experience with a Complex Flow.. - Dwyer, Martin (Correct)
0.2: Interprocedural Reaching Definitions in the Presence of.. - Pande, Landi, Ryder (1992) (Correct)
Similar documents based on text: More All
0.2: A Framework for Reducing the Cost of Instrumented Code - Arnold, Ryder (2001) (Correct)
0.2: Change Impact Analysis for Object-Oriented Programs - Barbara Ryder And (2001) (Correct)
0.1: Dimensions of Precision in Reference Analysis of Object-oriented.. - Ryder (2003) (Correct)
Related documents from co-citation: More All
2: Precise interprocedural dataflow analysis with application to constant propagati.. - Reps, Sagiv et al. - 1995
2: Fuzzy array dataflow analysis - Barthou, Collard et al. - 1997
BibTeX entry: (Update)
B. G. Ryder. A position paper on compile-time program analysis. ACM Computing Surveys, 28A(4), December 1996. http://citeseer.ist.psu.edu/ryder96position.html More
@article{ ryder97position,
author = "Barbara G. Ryder",
title = "A Position Paper on Compile-time Program Analysis",
journal = "SIGPLAN Notices",
volume = "32",
number = "1",
pages = "110-114",
year = "1997",
url = "citeseer.ist.psu.edu/ryder96position.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
390 Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1990
283 Optimizing Supercompilers for Supercomputers (context) - Wolfe - 1989
265 Program slicing (context) - Weiser - 1984
228 Points-to analysis in almost linear time - Steensgaard - 1996
166 Selecting software test data using data flow information (context) - Rapps, Weyuker - 1985
85 Reducing indirect function call overhead in c ++ programs - Calder, Grunwald - 1994
79 Efficient flow-sensitive interprocedural computation of poin.. - Choi, Burke et al. - 1993
77 The semantic approach to program slicing (context) - Venkatesh - 1991
73 A safe approximation algorithm for interprocedural pointer a.. (context) - Landi, Ryder - 1992
72 Experiments on the effectiveness of dataflow- and controlflo.. (context) - Hutchins, Foster et al. - 1994
66 Parascope: A parallel programming environment (context) - Callahan, Cooper et al. - 1988
62 Selective specialization for object-oriented languages - Dean, Chambers et al. - 1995
50 Elimination algorithms for data flow analysis (context) - Ryder, Paull - 1986
41 Pointer-induced aliasing: A clarification (context) - Marlowe, Landi et al. - 1993
39 Properties of data flow frameworks: a unified model (context) - Marlowe, Ryder - 1990
38 Program decomposition for pointer aliasing: A step towards p.. - Zhang, Ryder et al. - 1996
23 Flow-insensitive interprocedural alias analysis in the prese.. - Burke, Carini et al. - 1994
15 A critical analysis of incremental iterative data flow analy.. (context) - Burke, Ryder - 1990
13 Defining flow sensitivity for data flow problems - Marlowe, Ryder et al. - 1995
9 Data flow based test adequecy analysis for languages with po.. (context) - Ostrand, Weyuker - 1991
7 Profiling an incremental data flow analysis algorithm (context) - Ryder, Landi et al. - 1990
4 IEEE Transactions on Software Engineering SE (context) - on, SE et al. - 1989
3 Effectively exploiting parallelism in data flow analysis (context) - Lee, Ryder - 1994
1 Ryder of the ptran analysis system for multiprocessing (context) - Allen, Burke et al. - 1988
1 Parallel Programming and Compilers (context) - Polychronopolous - 1988
1 Region analysis: A parallel elimination method for data flow.. (context) - of, -- et al. - 1995
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