| Alternate document: Details Interprocedural Reaching Definitions in the Presence of Single Level Pointers (92) Hemant D. Pande, William Landi, Barbara G. Ryder |
William ALEXANDER Landi  Home/Search
Context Related
| rutgers.edu/pub/tech...lcsrtr174.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: OF THE DISSERTATION Interprocedural Aliasing in the Presence of Pointers by William Alexander Landi, Ph.D. Dissertation Director: Barbara Gershon Ryder An Alias occurs at some program point during execution when two or more names exist for the same location. We've investigated the theoretical difficulty of determining the aliases of a program, developed an approximation algorithm for solving for aliases in C like languages, and explored the precision (i.e., closeness of our approximate ... (Update)
Context of citations to this paper: More
.... levels of pointer dereferencing (i.e. allowing pointer chains to be of length 4) the problem has been shown to be PSPACE Complete [Lan92a] and to be NP Hard given at least two levels of pointer dereferencing [LR91] Precise flow insensitive pointer analysis has been shown...
...pointer analysis. Procedural points to information was also used to improve the cost and precision of interprocedural analysis [21, 17, 6, 20]. In the third phase, the procedure s code and points to information are fed into the C2IP transformer. C2IP generates a procedure that...
Cited by: More
New Results on the Computability and Complexity of Points - to .. - Chakaravarthy (2003) (Correct)
Semantics-based Program Analysis via Symbolic Composition of.. - Colby (1996) (Correct)
Combining Static Analysis and Model Checking for Software.. - Guillaume Brat Kestrel (2001) (Correct)
Similar documents (at the sentence level):
11.2%: A Safe Approximate Algorithm for Interprocedural Pointer Aliasing - Landi, Ryder (1992) (Correct)
Active bibliography (related documents): More All
1.5: Interprocedural Reaching Definitions in the Presence of.. - Pande, Landi, Ryder (1992) (Correct)
1.0: A Schema for Interprocedural Modification.. - Landi, Ryder.. (1998) (Correct)
0.6: Incremental Analysis For Flow- And Context-Sensitive Data-Flow.. - Yur (1999) (Correct)
Similar documents based on text: More All
0.6: Dataflow Analysis Of Software Fragments - Rountev (2002) (Correct)
0.6: Online Profiling And Feedback-Directed Optimization Of Java - Arnold (2002) (Correct)
0.4: Incremental Algorithms and Empirical Comparison for Flow-.. - Yur, Ryder, Landi (1998) (Correct)
Related documents from co-citation: More All
25: Parallelizing Programs with Recursive Data Structures (context) - Hendren - 1990
19: Pointer induced aliasing: A problem classification (context) - Landi, Ryder - 1991
19: Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
BibTeX entry: (Update)
W. Landi. Interprocedural Aliasing in the Presence of Pointers. PhD thesis, Rutgers University, 1992. http://citeseer.ist.psu.edu/landi92interprocedural.html More
@techreport{ william91interprocedural,
author = "Landi, William",
title = "{I}nterprocedural {A}liasing in the {P}resence of {P}ointers",
number = "lcsr-tr-174",
year = "1991",
url = "citeseer.ist.psu.edu/landi92interprocedural.html" }
Citations (may not include all citations):1450 The Design and Analysis of Computer Algorithms (context) - Aho, Hopcroft et al. - 1974
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. - 1988
277 Advanced compiler optimizations for supercomputers (context) - Padua, Wolfe - 1986
263 Database System Concepts (context) - Korth, Silberschatz - 1986
252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
225 Flow Analysis of Computer Programs (context) - Hecht - 1977
207 Flow analysis and optimization of lisp-like structures (context) - Jones, Muchnick - 1979
156 A unified approach to global program optimization (context) - Kildall - 1973
146 Parallelizing programs with recursive data structures (context) - Hendren, Nicolau - 1989
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
99 Dependence analysis for pointer variables (context) - Horwitz, Pfeiffer 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
91 An efficient way to find the side effects of procedure calls.. (context) - Banning - 1979
86 A precise interprocedural data flow algorithm (context) - Myers - 1981
70 An interval-based approach to exhaustive and incremental int.. (context) - Burke - 1990
68 Interprocedural data flow analysis in the presence of pointe.. - Weihl - 1980
68 On determining lifetime and aliasing of dynamically allocate.. (context) - Deutsch - 1990
68 Interprocedural data flow analysis in the presence of pointe.. - Weihl - 1980
51 Fast interprocedural alias analysis (context) - Cooper, Kennedy - 1989
38 Analyzing aliases of reference formal parameters (context) - Cooper - 1985
32 Efficient computation of flow-insensitive interprocedural su.. (context) - Cooper, Kennedy - 1987
32 Efficient computation of flow insensitive interprocedural su.. (context) - Cooper, Kennedy - 1984
32 An efficient hybrid algorithm for incremental data flow anal.. (context) - Marlowe, Ryder - 1990
26 Restructuring Symbolic Programs for Concurrent Execution on .. (context) - Larus - 1989
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 A Method for Determining the Side Effects of Procedure Calls (context) - Banning - 1978
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
10 Complexity of interprocedural side-effect analysis (context) - Cooper, Kennedy - 1987
9 Hybrid incremental alias algorithms (context) - Marlowe, Ryder - 1991
8 Parcel and miprac: Parallelizers for symbolic and numeric pr.. (context) - Ammarguellat - 1990
6 Data flow analysis in the presence of procedure calls (context) - Lomet - 1977
5 Computation of interprocedural definition and use dependenci.. (context) - Harrold, Soffa - 1990
4 A new pointer-removing program transformation (context) - Carroll - 1988
3 Aliasing with and without pointers: A problem taxonomy (context) - Landi, Ryder - 1990
2 Pointers to class members in c (context) - Lippman, Stroustrup - 1988
2 Laboratory for Computer Science Research Technical Report LC.. (context) - Ryder, Pande et al. - 1988
1 System Software (context) - Beck - 1985
The graph only includes citing articles where the year of publication is known.
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