William Landi, Barbara G. Ryder  Home/Search
Context Related
Links: ACM DBLP | rutgers.edu/pub/si...n92landiryder.ps Cached: 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.
PS.gz PS Image Update HelpFrom: rutgers.edu/pub/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: During execution, when two or more names exist for the same location at some program point, we call them aliases. In a language which allows arbitrary pointers, the problem of determining aliases at a program point is P-space-hard [Lan92]. We present an algorithm for the Conditional May Alias problem, which can be used to safely approximate Interprocedural May Alias in the presence of pointers. This algorithm is as precise as possible in the worst case and has been implemented in a prototype... (Update)
Cited by: More
Pointer-Range Analysis - Yong, Horwitz (2004) (Correct)
Extended Weighted Pushdown Systems - Akash Lal Thomas (Correct)
Practical and Accurate Low-Level Pointer Analysis - Matthew (Correct)
Similar documents (at the sentence level):
15.3%: Interprocedural Aliasing In The Presence Of Pointers - Landi (1992) (Correct)
13.4%: A Safe Approximate Algorithm for Interprocedural Pointer Aliasing - Landi, Ryder (1992) (Correct)
Active bibliography (related documents): More All
0.7: Interprocedural Reaching Definitions in the Presence of.. - Pande, Landi, Ryder (1992) (Correct)
0.5: A Schema for Interprocedural Modification.. - Landi, Ryder.. (1998) (Correct)
0.5: Incremental Analysis For Flow- And Context-Sensitive Data-Flow.. - Yur (1999) (Correct)
Similar documents based on text: More All
0.3: Incremental Algorithms and Empirical Comparison for Flow-.. - Yur, Ryder, Landi (1998) (Correct)
0.2: An Incremental Flow- and Context-sensitive Pointer Aliasing.. - Yur, Ryder, Landi (1999) (Correct)
0.2: Object Ownership for Dynamic Alias Protection - Noble, Clarke, Potter (1999) (Correct)
Related documents from co-citation: More All
52: Context-sensitive interprocedural points-to analysis in the presence of function.. - Emami, Ghiya et al. - 1994
52: Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995
39: Interprocedural may-alias analysis for pointers: Beyond k-limiting - Deutsch - 1994
BibTeX entry: (Update)
W. Landi and B. G. Ryder. A safe approximate algorithm for interprocedural pointer aliasing. In Proceedings of ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, pages 235--248, 1992. SIGPLAN Notices 27(7). http://citeseer.ist.psu.edu/landi92safe.html More
@inproceedings{ landi92safe,
author = "William Landi and Barbara G. Ryder",
title = "A safe approximate algorithm for interprocedural pointer aliasing",
booktitle = "Proceedings of the Conference on Programming Language Design and Implementation ({PLDI})",
journal = "SIGPLAN Notices",
volume = "27",
number = "7",
publisher = "ACM Press",
address = "New York, NY",
isbn = "0-89791-475-9",
pages = "235--248",
year = "1992",
url = "citeseer.ist.psu.edu/landi92safe.html" }
Citations (may not include all citations):263 Database System Concepts (context) - Korth, Silberschatz - 1986 ACM
252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990 ACM DBLP
207 Flow analysis and optimization of lisp-like structures (context) - Jones, Muchnick - 1979
146 Parallelizing programs with recursive data structures (context) - Hendren, Nicolau - 1989 ACM DBLP
132 Detecting conflicts between structure accesses (context) - Larus, Hilfinger - 1988
99 Dependence analysis for pointer variables (context) - Horwitz, Pfeiffer et al. - 1989 ACM DBLP
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 ACM DBLP
91 An efficient way to find the side effects of procedure calls.. (context) - Banning - 1979 ACM
86 A precise interprocedural data flow algorithm (context) - Myers - 1981
76 The program summary graph and flowsensitive interprocedural .. (context) - Callahan - 1988
68 On determining lifetime and aliasing of dynamically allocate.. (context) - Deutsch - 1990 ACM DBLP
68 Interprocedural data flow analysis in the presence of pointe.. - Weihl - 1980
51 Fast interprocedural alias analysis (context) - Cooper, Kennedy - 1989 DBLP
48 Interprocedural Aliasing in the Presence of Pointers - Landi - 1992 ACM
44 A practical interprocedural data flow analysis algorithm (context) - Barth - 1978 ACM DBLP
38 Analyzing aliases of reference formal parameters (context) - Cooper - 1985
25 A technique for analyzing pointer and structure references i.. (context) - Guarna - 1988
24 Interprocedural def-use associations in c programs (context) - Pande, Ryder et al. - 1991
14 Retargetable high-level alias analysis (context) - Coutant - 1986
12 Ismm: Incremental software maintenance manager (context) - Ryder - 1989
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 design of a data flow analyzer (context) - Chow, Rudmik - 1982
8 Parcel and miprac: Parallelizers for symbolic and numeric pr.. (context) - Ammarguellat - 1990
2 Laboratory for Computer Science Research Technical Report LC.. (context) - Ryder, Pande et al. - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://athos.rutgers.edu/pub/):
Support Vector Machine - Reference Manual - Saunders, Stitson, Weston.. (1998) (Correct)
Support Vector Machine - Reference Manual - Saunders, Stitson, Weston, al. (1998) (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