| Alternate document: Details Incremental Analysis For Flow- And Context-Sensitive Data-Flow Problems (99) Jyh-Shiarn Yur |
Jyh-Shiarn Yur, Barbara G. Ryder, William A. Landi  Home/Search
Context Related
| siemens.com/ps/icse99.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: siemens.com/publication_se (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Pointer aliasing analysis is used to determine if two object names containing dereferences and/or field selectors, (e.g., *p,q->t), may refer to the same location during execution. Such information is necessary for applications such as dataflow-based testers, program understanding tools, and debuggers, but is expensive to calculate with acceptable precision. Incremental algorithms update data flow information after a program change rather than recomputing it from scratch, under the assumption... (Update)
Context of citations to this paper: More
.... use incremental elimination methods [Bur90, CR88, RP88] some are based on the technique of restarting iteration [CK84, PS89, YRL99] and some are a combination of these two techniques [MR90] An incremental elimination method first partitions the flow graph, and then...
...to pay for the enormous boost in performance. 7. RELATED WORK The analysis of aliasing relationships in programs is well studied [10, 11, 14, 15, 25, 27]. Our work is complementary to this pre Table 3: Code expansion for the eight benchmarks. benchmark Executable size...
Cited by: More
Analysis and Visualization of - Predicate Dependence On (Correct)
A Schema for Interprocedural Modification.. - Ryder, Landi.. (2001) (Correct)
Automatic Loop Transformations and Parallelization for Java - Artigas, Gupta, Midkiff.. (2000) (Correct)
Similar documents (at the sentence level):
63.8%: Incremental Algorithms and Empirical Comparison for Flow-.. - Yur, Ryder, Landi (1998) (Correct)
38.5%: Incremental Analysis For Flow- And Context-Sensitive Data-Flow.. - Yur (1999) (Correct)
Active bibliography (related documents): More All
0.7: Incremental Analysis of Side Effects for C Software Systems - Yur, Ryder, Landi, Stocks (1997) (Correct)
0.3: Incremental Analysis of MOD Problem for C - Yur, Ryder (1995) (Correct)
0.3: Modular Data-Flow Analysis Of Statically Typed Object-Oriented.. - Chatterjee (2000) (Correct)
Similar documents based on text: More All
0.3: UML-Based Integration Testing - Jean Hartmann College (2000) (Correct)
0.2: A Safe Approximate Algorithm for Interprocedural Pointer Aliasing - Landi, Ryder (1992) (Correct)
0.2: Change Impact Analysis for Object-Oriented Programs - Barbara Ryder And (2001) (Correct)
Related documents from co-citation: More All
3: Systemdependence -graph-based slicing of programs with arbitrary interprocedural.. - Sinha, Harrold et al. - 1998
3: Slicing Object-Oriented Software (context) - Larsen, Harrold - 1996
3: Demand interprocedural dataflow analysis - Horwitz, Reps et al. - 1995
BibTeX entry: (Update)
J. Yur, B. G. Ryder, and W. Landi. An incremental flow- and contextsensitive pointer aliasing analysis. In Proceedings of the Twenty-First International Conference on Software Engineering, pages 442--451, May 1999. http://citeseer.ist.psu.edu/yur99incremental.html More
@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/yur99incremental.html" }
Citations (may not include all citations):246 Contextsensitive interprocedural points-to analysis in the p.. - Emami, Ghiya et al. - 1994
101 Context-insensitive alias analysis reconsidered - Ruf - 1995
97 Pointer-induced aliasing: A problem classification (context) - Landi, Ryder - 1991
73 A safe approximation algorithm for interprocedural pointer a.. (context) - Landi, Ryder - 1992
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
55 Demand-driven computation of interprocedural data flow - Duesterwald, Gupta et al. - 1995
44 cient contextsensitive pointer analysis for c programs (context) - Wilson, Lam - 1995
41 Pointer-induced aliasing: A clarification (context) - Marlowe, Landi et al. - 1993
35 Incremental data flow analysis algorithms (context) - Ryder, Paull - 1988
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
18 cient flow-sensitive interprocedural computation of pointer-.. (context) - Choi, Burke et al. - 1993
15 Incremental data flow analysis via dominator and attribute u.. (context) - Carroll, Ryder - 1988
15 A critical analysis of incremental iterative data flow analy.. (context) - Burke, Ryder - 1990
14 Conditions for incremental iteration: Examples and counterex.. (context) - Ryder, Marlowe et al. - 1988
12 cient hybrid algorithm for incremental data flow analysis (context) - Marlowe, Ryder - 1990
11 Ambitious Data Flow Analysis of Procedural Programs (context) - Cooper - 1989
10 Interprocedural modification side e#ect analysis with pointe.. (context) - Landi, Ryder et al. - 1993
10 The method of attributes for data flow analysis (context) - Babich, Jazayeri - 1978
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
5 cient computation of flow insensitive interprocedural summar.. (context) - Cooper, Kennedy - 1984
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 Incremental analysis of side e#ects for C software systems (context) - Yur, Ryder et al. - 1997
Documents on the same site (http://www.scr.siemens.com/publication_se.htm): More
Experience with Architecture-Centered Software Project Planning - Paulish, Nord, Soni (1996) (Correct)
Nuclear Plant Fault Diagnosis Using Probabilistic Reasoning - Santoso, Darken, Povh.. (1999) (Correct)
Describing Software Architecture with UML - Hofmeister, Nord, Soni (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