Herbert G. Mayer, M. Wolfe  Home/Search
Context Related
| cs.ubc.ca/local/reading/pr...spe859.pdf 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: cs.ubc.ca/local/reading/...spetoc (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This report explains the goals and limitations of alias analysis for conventional procedural languages with reference parameters, shows in detail the actual design and implementation of IPA, and provides algorithmic and speed improvements over the best previously known aliasing algorithms. Empirical results gathered during the analysis of large Fortran programs are also listed and discussed (Update)
Context of citations to this paper: More
.... formal aliases which are created by passing the same local, formal or global in more than one position at a call site [Coo85, CK88, CK86, MW93] The analysis uses two data structures which are built on top of the call graph. The algorithm for computing the formal global binding...
...edges add no information so they may be safely ignored. The graph turns out to be unnecessarily large and complex to compute directly [MW93] Instead we use a worklist algorithm on elements containing the pair of formals which are aliased as described by Mayer and Wolfe....
Cited by: More
Interprocedural Analyses of Fortran Programs - Creusillet, Irigoin (1997) (Correct)
Parameter-Induced Aliasing and Related Problems can be.. - Gellerich, al. (Correct)
On The Quest For Perfect Load Balance In Loop-Based Parallel.. - Sakellariou (1998) (Correct)
Active bibliography (related documents): More All
0.5: Demand-Driven Interprocedural Constant Propagation.. - Autrey (1994) (Correct)
0.1: What Every Computer Scientist Should Know About Floating Point.. - Goldberg (1991) (Correct)
0.1: What Every Computer Scientist Should Know About Floating-Point.. - Hm Et Ic (Correct)
Similar documents based on text: More All
0.5: Flow-Sensitive Interprocedural Constant Propagation - Carini, Hind (1995) (Correct)
0.4: IPA Gradient Estimation for Loss Measures in Continuous Flow.. - Wardi, Melamed (Correct)
0.4: Efficient Flow-Sensitive Interprocedural Computation of.. - Choi, Burke, Carini (1993) (Correct)
Related documents from co-citation: More All
5: Efficient computation of flow-insensitive interprocedural summary information (context) - Cooper, Kennedy - 1984
3: Interprocedural dependence analysis and parallelization (context) - Burke, Cytron - 1986
3: Fast interprocedural alias analysis (context) - Cooper, Kennedy - 1986
BibTeX entry: (Update)
Herbert G. Mayer and Michael Wolfe. Interprocedural alias analysis: Implementation and empirical results. Software-- Practice and Experience, 23(11):1201--1233, November 1993. http://citeseer.ist.psu.edu/mayer93interprocedural.html More
@article{ mayer93interprocedural,
author = "Herbert G. Mayer and Michael Wolfe",
title = "Interprocedural Alias Analysis: Implementation and Empirical Results",
journal = "Soft\-ware\emdash Prac\-tice and Experience",
volume = "23",
number = "11",
pages = "1201--1233",
year = "1993",
url = "citeseer.ist.psu.edu/mayer93interprocedural.html" }
Citations (may not include all citations):1399 Compilers Principles (context) - Aho, Sethi et al. - 1986
225 Flow Analysis of Computer Programs (context) - Hecht - 1977 ACM
91 An efficient way to find the side effects of procedure calls.. (context) - Banning - 1979
77 Pascal User Manual And Report (context) - Jensen, Wirth - 1974
51 Fast interprocedural alias analysis (context) - Cooper, Kennedy - 1989 DBLP
12 Reference Manual For The Ada Programming Language (context) - Inc - 1983 ACM
9 American National Standard Programming Language FORTRAN (context) - Inc - 1978
2 Depth-first search in linear graph algorithms (context) - Tarjan - 1972
Documents on the same site (http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/spetoc.htm): More
Linkage Analysis of Processes - Yaung, Raz (1992) (Correct)
A Scheme for Little Languages in Interactive Graphics - Beckman (1991) (Correct)
A Dataflow Approach to Event-based Debugging - Olsson, Crawford, Ho (1991) (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