William Edward Weihl  Home/Search
Context Related
| mit.edu/publicatio...MITLCSTR247.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: mit.edu/publications/pubs/pdf/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Acknowledgements ................................................. 3 0. Contents ......................................................... 4 1. (Update)
Context of citations to this paper: More
.... ignores local control flow effects to derive a conservative approximation of the possible values each procedure variable may have [21]. Shivers addresses the difficult task of determining a control flow model for a Scheme program where all functions are bound dynamically [18]...
Cited by: More
Constructing Call Multigraphs Using Dependence Graphs - Arun Lakhotia The (1993) (Correct)
Resolving and Applying Constraint Queries on - Context-Sensitive Analyses James (2004) (Correct)
Effective Interprocedural Optimization of Object-Oriented Languages - Grove (1998) (Correct)
Active bibliography (related documents): More All
0.3: Managing Interprocedural Optimization - Hall (1990) (Correct)
0.2: An Empirical Study of Function Pointers Using SPEC Benchmarks - Cheng, Hwu (1999) (Correct)
0.2: Efficient Call Graph Analysis - Hall, Kennedy (1992) (Correct)
Similar documents based on text: More All
0.3: Serializability Of Concurrent Database Updates - Papadimitriou (1979) (Correct)
0.2: Towards A Problem Solving System For Molecular Genetics - Koton (Correct)
0.2: Causal Representation Of Patient Illness For Electrolyte D.. - Patil (1981) (Correct)
Related documents from co-citation: More All
36: Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
33: Parallelizing Programs with Recursive Data Structures (context) - Hendren - 1990
32: Context-sensitive interprocedural points-to analysis in the presence of function.. - Emami, Ghiya et al. - 1994
BibTeX entry: (Update)
W. E. Weihl, "Interprocedural Data Flow Analysis in the presence of pointers, procedure variables and label variables," Seventh Annual ACM Symp. on Principles of Programming Languages, 1980, pp. 83--94. http://citeseer.ist.psu.edu/weihl80interprocedural.html More
@techreport{ weihl80interprocedural,
author = "W. E. Weihl",
title = "{INTERPROCEDURAL} {DATA} {FLOW} {ANALYSIS} {IN} {THE} {PRESENCE} {OF} {POINTERS}, {PROCEDURE} {VARIABLES}, {AND} {LABEL} {VARIABLES}",
number = "MIT/LCS/TR-247",
pages = "43",
year = "1980",
url = "citeseer.ist.psu.edu/weihl80interprocedural.html" }
Citations (may not include all citations):55 A Program Data Flow Analysis Procedure (context) - Allen, Cocke - 1976
39 A Fast and Usually Linear Algorithm for Global Flow Analysis (context) - Graham, Weoma - 1976
21 Data Flow Analysis for Procedural Languages (context) - Rosen - 1979
19 Interprocedural Data Flow Analysis (context) - Allen
12 A Method for Determin ing the Side Effects of Procedure Call.. (context) - Banning - 1978
5 Private Communication (context) - Carter
4 Recursion Analysis for Compiler Optimization (context) - Walter - 1976
1 BE Trmuactions on Software Engineering $E (context) - Ryder, the - 1979
1 Exposing Side-F_df in a PL/I Optimi (context) - Spillman - 1971
1 lnterproced Data Flow Analysis Baasd on Tratmitive Closure (context) - Barth - 1976
1 Design and Analysis (context) - Aho, Hopcroft et al. - 1974
1 Princte Compler Design (context) - Ullman, Comp et al. - 1977
1 New Classes and ons of Hash Functions (context) - Wegman, Carter - 1979
1 The ExPerimental Compiling Systems Project (context) - Allen - 1977
1 A Theoretical Study of Some Aspera of Parameter Passing (context) - Winklmann - 1977
1 Data Flow Analysis for Rocords and Pointzrs to Records (context) - Low - 1979
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.lcs.mit.edu/publications/pubs/pdf/): More
Proving Correctness of a Distributed Shared Memory Implementation - Castro (1999) (Correct)
Experience with Fine-Grain Synchronization in MIMD Machines.. - Yeung, Agarwal (1993) (Correct)
Write Barrier Removal by Static Analysis - Zee, Rinard (2002) (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