Jyh-Shiarn Yur  Home/Search
Context
Related
| rutgers.edu/pub/techn...dcstr393.ps.Z 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/pub/technicalrepo... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Data-flow analysis is widely used in extracting from source programs useful information for program optimization, program understanding, program restructuring, and testing. When a quality solution is demanded, consideration of the control flow information and calling contexts in the data-flow analysis is inevitable, but it usually involves extensive computation. When the data-flow information is used in an application in which users may interactively change the source program and check program... (Update)
Similar documents (at the sentence level):
15.6%: Incremental Algorithms and Empirical Comparison for Flow-.. - Yur, Ryder, Landi (1998) (Correct)
10.1%: Incremental Analysis of Side Effects for C Software Systems - Yur, Ryder, Landi, Stocks (1997) (Correct)
8.6%: An Incremental Flow- and Context-sensitive Pointer Aliasing.. - Yur, Ryder, Landi (1999) (Correct)
Active bibliography (related documents): More All
6.3: A Schema for Interprocedural Modification.. - Ryder, Landi.. (2001) (Correct)
1.9: Complexity of Points-to Analysis of Java in the Presence of.. - Chatterjee, Ryder (Correct)
1.7: Modular Data-Flow Analysis Of Statically Typed Object-Oriented.. - Chatterjee (2000) (Correct)
Similar documents based on text: More All
0.7: Dataflow Analysis Of Software Fragments - Rountev (2002) (Correct)
0.6: Online Profiling And Feedback-Directed Optimization Of Java - Arnold (2002) (Correct)
0.3: Incremental Analysis of MOD Problem for C - Yur, Ryder (1995) (Correct)
BibTeX entry: (Update)
@inproceedings{ yur99incremental,
author = "Jyh-Shiarn Yur and Barbara G. Ryder and William Landi",
title = "An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis",
booktitle = "International Conference on Software Engineering",
pages = "442-451",
year = "1999",
url = "citeseer.ist.psu.edu/article/yur99incremental.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
390 Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1990
318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
246 Context-sensitive interprocedural points-to analysis in the .. - Emami, Ghiya et al. - 1994
232 Program analysis and specialization for the C programming la.. (context) - Andersen - 1994
228 Points-to analysis in almost linear time - Steensgaard - 1996
207 Flow analysis and optimization of lisp-like structures (context) - Jones, Muchnick - 1982
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1998
195 ACM Transactions on Programming Languages and Systems (context) - Ramalingam, of - 1994
186 The program dependence graph in a software development envir.. (context) - Ottenstein, Ottenstein - 1984
146 Parallelizing programs with recursive data structures (context) - Hendren, Nicolau - 1990
144 Two approaches to interprocedural data flow analysis (context) - Sharir, Pnueli - 1981
132 Detecting conflicts between structure accesses (context) - Larus, Hilfinger - 1988
129 Precise interprocedural dataflow analysis via graph reachabi.. - Reps, Horwitz et al. - 1995
116 Monotone data flow analysis frameworks (context) - Kam, Ullman - 1977
101 Context-insensitive alias analysis reconsidered - Ruf - 1995
99 A shape analysis for heap-directed pointers in C (context) - Ghiya, Hendren et al. - 1996
99 Dependence analysis for pointer variables (context) - Horwitz, Pfei et al. - 1989
97 Pointer-induced aliasing: A problem classification (context) - Landi, Ryder - 1991
92 A flexible approach to interprocedural data flow analysis an.. (context) - Jones, Muchnick - 1982
77 The semantic approach to program slicing (context) - Venkatesh - 1991
77 Slicing object-oriented software (context) - Larsen, Harrold - 1996
73 A safe approximation algorithm for interprocedural pointer a.. (context) - Landi, Ryder - 1992
72 Putting pointer analysis to work - Ghiya, Hendren - 1998
70 An interval-based approach to exhaustive and incremental int.. (context) - Burke - 1990
68 ACM Letters on Programming Languages and Systems (context) - Landi, static - 1992
68 Interprocedural Data Flow Analysis in the Presence of Pointe.. - Weihl - 1980
68 On determining lifetime and aliasing of dynamically allocate.. (context) - Deutsch - 1990
61 Control-flow Analysis of Higher-Order Languages or Taming La.. - Shivers - 1991
59 Demand interprocedural dataflow analysis - Horwitz, Reps et al. - 1995
55 A program data flow analysis procedure (context) - Allen, Cocke - 1976
55 Demand-driven computation of interprocedural data flow - Duesterwald, Gupta et al. - 1995
54 The design of whole-program analysis tools - Atkinson, Griswold - 1996
51 Connection analysis: A practical interprocedural heap analys.. - Ghiya, Hendren - 1996
47 Interprocedural def-use associations for C systems with sing.. (context) - Pande, Landi et al. - 1994
46 Infinitary control flow analysis: a collecting semantics for.. - Nielson, Nielson - 1997
44 A practical interprocedural data flow analysis algorithm (context) - Barth - 1978
44 cient context-sensitive pointer analysis for C programs (context) - Wilson, Lam - 1995
41 Pointer-induced aliasing: A clarification (context) - Marlowe, Landi et al. - 1993
38 Analyzing aliases of reference formal parameters (context) - Cooper - 1985
38 Program decomposition for pointer aliasing: A step towards p.. - Zhang, Ryder et al. - 1996
35 Reuse-driven interprocedural slicing - Harrold, Ci - 1998
35 System-dependence-graphbased slicing of programs with arbitr.. - Sinha, Harrold et al. - 1999
35 Incremental data flow analysis algorithms (context) - Ryder, Paull - 1988
34 Relevant context inference (context) - Chatterjee, Ryder et al. - 1999
29 Precise interprocedural chopping (context) - Reps, Rosay - 1995
28 An incremental version of iterative data flow analysis (context) - Pollock, So - 1989
27 Incremental data flow analysis in a structured program edito.. (context) - Zadeck - 1984
27 Solving demand versions of interprocedural analysis problems (context) - Reps - 1994
25 A technique for analyzing pointer and structure references i.. (context) - Guarna - 1988
23 A practical framework for demand-driven interprocedural data.. - Duesterwald, Gupta et al. - 1997
23 ectiveness of dataflow- and controlflow-based test adequacy .. (context) - Hutchins, Foster et al. - 1994
23 Flowinsensitive interprocedural alias analysis in the presen.. - Burke, Carini et al. - 1994
22 Comparing flow- and context-sensitivity on the modification .. - Stocks, Ryder et al. - 1998
22 ects of the precision of pointer analysis (context) - Shapiro, Horwitz - 1997
21 More experience with data flow testing (context) - Weyuker - 1994
19 A practical interprocedural alias analysis for an optimizing.. (context) - Emami - 1993
18 cient flow-sensitive interprocedural computation of pointer-.. (context) - Choi, Burke et al. - 1993
18 pointers and polymorphism analysis and its application to sl.. (context) - Tonella, Antoniol et al. - 1997
17 Slicing class hierarchies in c (context) - Tip, Choi et al. - 1996
15 A critical analysis of incremental iterative data flow analy.. (context) - Burke, Ryder - 1990
15 Incremental data flow analysis via dominator and attribute u.. (context) - Carroll, Ryder - 1988
14 Retargetable high-level alias analysis (context) - Coutant - 1986
14 Conditions for incremental iteration: Examples and counterex.. (context) - Ryder, Marlowe et al. - 1988
13 ective whole-program analysis in the presence of pointers (context) - Atkinson, Griswold - 1998
13 Separate computation of alias information for reuse - Harrold, Rothermel - 1996
12 cient hybrid algorithm for incremental data flow analysis (context) - Marlowe, Ryder - 1990
12 Computation of aliases and support sets (context) - Neirynck, Panangaden et al. - 1987
11 Ambitious Data Flow Analysis of Procedural Programs (context) - Cooper - 1989
10 The method of attributes for data flow analysis (context) - Babich, Jazayeri - 1978
10 Hybrid slicing: An approach for refining static slices using.. - Gupta, So - 1996
10 Selecting and using data for integration testing (context) - Harrold, So - 1991
10 cient computation of interprocedural definition-use chains (context) - Harrold, So - 1994
10 Interprocedural may alias for pointers: Beyond k-limiting (context) - Deutsch - 1994
10 Interprocedural modification side e#ect analysis with pointe.. (context) - Landi, Ryder et al. - 1993
10 Data Flow Analysis and Incremental Iteration (context) - Marlowe - 1989
9 Data-flow testing with pointers and function calls (context) - Ostrand - 1990
9 Hybrid incremental alias algorithms (context) - Marlowe, Ryder - 1991
8 A logic-based approach to data flow analysis (context) - Sagiv, Francez et al. - 1990
8 Parcel and Miprac: parallelizers for symbolic and numeric pr.. (context) - Ammarguellat - 1990
6 Modular Data-flow Analysis of Statically Typed Objectoriente.. - Chatterjee - 1999
5 cient computation of flow insensitive interprocedural summar.. (context) - Cooper, Kennedy - 1984
5 ectiveness of branch testing with data-flow testing (context) - Frankel, Weiss et al. - 1993
5 Further empirical studies of test e#ectiveness (context) - Frankel, Iakounenko - 1998
5 Data-flow-based testing of object-oriented libraries - Chatterjee, Ryder - 1999
5 Incremental algorithms and empirical comparison for flow- an.. - Yur, Ryder et al. - 1998
5 A schema for interprocedural side e#ect analysis with pointe.. (context) - Landi, Ryder et al. - 1998
4 Fast and accurate flow-insensitive pointsto analysis (context) - Shapiro, Horwitz - 1997
4 Incremental program testing using dependence graphs (context) - Bates, Horwitz - 1993
4 Incremental analysis of side e#ects for C software systems (context) - Yur, Ryder et al. - 1997
4 Using program slices in software maintenance (context) - Gallagher, Lyle - 1991
4 An incremental flow- and contextsensitive pointer aliasing a.. - Yur, Ryder et al. - 1999
4 Global flow analysis and iterative algorithms (context) - Kam, Ullman - 1976
3 Complexity of interprocedural side-e#ect analysis (context) - Cooper, Kennedy - 1987
3 A survey of program slicing technques (context) - Tip - 1996
3 ect analysis in linear time (context) - Cooper, Kennedy - 1988
3 cient way to find the side e#ects of procedure calls and the.. (context) - Banning - 1979
2 Call graph constrction in object-oriented languages (context) - Grove, DeFouw et al. - 1997
2 Tarjan's fast interval finding algorithm (context) - Schwartz, Sharir - 1978
2 ects of flow sensitivity on pointer alias analysis (context) - Hind, Pioli - 1998
1 Dataflow Update via Attribute and Dominator Update (context) - Carroll - 1988
1 An interval analysis approach toward interprocedural data fl.. (context) - Burke - 1984
Documents on the same site (http://www.cs.rutgers.edu/pub/technical-reports/): More
Constrained REDO: An Alternative to REPLAY - Liew, Steinberg (1993) (Correct)
Jambalaya: Using Multicast for Blind Distributed Web Searching .. - Navas, Hirsh (1998) (Correct)
Law-Governed Regularities in Software Systems - Minsky (1994) (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